Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences
The foundation of artificial intelligence---a sourcebook
Handbook of theoretical computer science (vol. B)
Reasoning about knowledge
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Alternating-time temporal logic
Journal of the ACM (JACM)
The Mosaic Method for Temporal Logics
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Satisfiability in Alternating-time Temporal Logic
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Coalition games and alternating temporal logics
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Complete axiomatization and decidability of alternating-time temporal logic
Theoretical Computer Science
Alternating-time temporal logics with irrevocable strategies
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
One-pass tableaux for computation tree logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Finding uniform strategies for multi-agent systems
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Synthesizing strategies for homogenous multi-agent systems with incomplete information
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
We develop an incremental tableau-based decision procedure for the alternating-time temporal logic ATL and some of its variants. While running within the theoretically established complexity upper bound, we believe that our tableaux are practically more efficient in the average case than other decision procedures for ATL known so far. Besides, the ease of its adaptation to variants of ATL demonstrates the flexibility of the proposed procedure.