没什么大不了的：引入角色以减小ATL模型的大小
No big deal: introducing roles to reduce the size of ATL models
摘要：
在下面的论文中，我们提出了一个新的语义著名的战略逻辑ATL。它基于向并发博弈结构添加角色，即在每个状态下，每个代理都属于一个角色，并且角色指定在该状态下他可以采取什么行动。我们展示了新语义的优势，分析了模型检验的复杂性，并证明了标准ATL语义和我们的新方法之间的等价性。
英文摘要：
In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions are available to him at that state. We show advantages of the new semantics, analyze model checking complexity and prove equivalence between standard ATL semantics and our new approach.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
