逻辑专栏19：时序-认知逻辑的符号模型检测
计算机科学中的逻辑
2007-09-05 v1
摘要
本文综述了通过符号模型检测进行时序认知逻辑验证的一些近期工作，重点讨论了基于OBDD和基于SAT的方法，这些方法针对建立在离散和实时分支时序逻辑之上的认知逻辑。
引用
@article{arxiv.0709.0446,
title = {Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics},
author = {Alessio Lomuscio and Wojciech Penczek},
journal= {arXiv preprint arXiv:0709.0446},
year = {2007}
}
评论
23 pages