概率时态认知逻辑模型检测中三值抽象技术的研究
周从华, 孙博, 刘志锋, 葛云
Three-Valued Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
ZHOU Cong-hua, SUN Bo, LIU Zhi-feng, GE Yun
电子学报 . 2012, (10): 2052 -2061 .  DOI: 10.3969/j.issn.0372-2112.2012.10.025