概率时态认知逻辑模型检测中三值抽象技术的研究

周从华, 孙博, 刘志锋, 葛云

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