量子马尔可夫链相关论文
本文定义了量子线性时间属性,包括量子安全性,量子不变性,讨论了它们的关系和性质.结合测量一次、测量多次的单向量子有穷自动机,......
经典确定性系统、随机系统的模型检验具有十分重要的意义。在模型检验中,不同种类的可达性定性、定量分析与系统的成功率、安全性......
