基于概率时间自动机相关硕士博士期刊学术论文

模型检测基于概率系统的反例产生问题，在最近引起人们的关注．已有的工作主要围绕模型检测Markov链的反例产生而开展．基于概率时间自动......