摘要：通过符号模型检验，在时间认知逻辑的验证方面进行了一些最新研究。对建立在离散和实时分支时间逻辑上的认知逻辑，重点关注基于OBDD和SAT的方法。
作者：Alessio Lomuscio and Wojciech Penczek
论文ID：0709.0446
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-09-05
PDF 下载： 英文版 中文版pdf翻译中