代价和概率时间自动机上概率有界的成本优化可达性

张君华;黄志球;曹子宁;仲晶

Cost Optimized Reachability with Probability Bound in Priced Probabilistic Timed Automata

ZHANG Jun-hua;HUANG Zhi-qiu;CAO Zi-ning;ZHONG Jing

应用科学学报 . 2009, (1): 84 -89 .