北布林。；J.迪克斯。；西雅姆罗加。 战略能力的模型检验逻辑：复杂性。 （英语） Zbl 1201.68070号 Dastani，Mehdi（编辑）等人，《多智能体系统的规范和验证》。魏比·范德霍克（Wiebe van der Hoek）的前言。多德雷赫特：施普林格（ISBN 978-1-4419-6983-5/hbk；978-1-44109-6984-2/电子书）。125-159 (2010). 小结：本章介绍一些主要时间和战略逻辑中的模型检查及其复杂性，例如LTL、CTL和ATL。我们讨论了ATL的几种变体（完美与不完美回忆、完美与不完全信息）以及两种不同的并发游戏结构模型检查方法（显式与隐式转换表示）。最后，我们总结了关于底层模型的高阶表示的一些结果。关于整个系列，请参见[Zbl 1201.68005号]. 引用于11文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时间逻辑 03B70号 计算机科学中的逻辑 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：模型检查；长期贷款；细胞毒性淋巴细胞；自动变速器；并行博弈；时间逻辑；战略逻辑 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}等人，in：多代理系统的规范和验证。魏比·范德霍克（Wiebe van der Hoek）的前言。多德雷赫特：施普林格。125-159（2010年；Zbl 1201.68070） 全文： 内政部