机译:近似Skolem问题的可判定性及其在马尔可夫链动力学特性逻辑验证中的应用
Univ Lisbon, Inst Telecomunicacoes, P-1699 Lisbon, Portugal;
Univ Lisbon, Inst Telecomunicacoes, P-1699 Lisbon, Portugal|Carnegie Mellon Univ, Dept Comp Sci, Pittsburgh, PA 15213 USA;
Univ Lisbon, Inst Telecomunicacoes, P-1699 Lisbon, Portugal;
Theory; Verification; Markov chains; Skolem problem; temporal logic;
机译:马氏链符号动力学的近似验证
机译:马可夫动力的某些受控马氏链的稳定性及其在随机逼近中的应用
机译:量子马尔可夫链;混合系统的描述,等价性和模型检查线性时间属性
机译:马氏链符号动力学的近似验证
机译:近似两向列联表的马尔可夫链蒙特卡罗方法及其在生态排序稳定性分析中的应用。
机译:近似马尔可夫链。
机译:近似skolem问题的可判定性及其在马尔可夫链动力学性质逻辑验证中的应用
机译:连续时间马氏链的收敛性及其在目标搜索中的应用