模型检测基于概率时间自动机的反例产生研究

Keywords: [模型检测, 反例, 基于概率时间自动机, 符号状态交集, 不确定性, model checking, counterexample, probabilistic timed automata, symbolic state intersection, non-determinism]

Full-Text   Cite this paper   Add to My Lib

Abstract:

模型检测基于概率系统的反例产生问题，在最近引起人们的关注.已..

Full-Text