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

刘志锋, 孙博, 周从华

Abstraction in Model Checking Probabilistic Real-Time Temporal Logic of Knowledge

LIU Zhi-feng, SUN Bo, ZHOU Cong-hua

电子学报 . 2013, (7): 1343 -1351 . DOI: 10.3969/j.issn.0372-2112.2013.07.016