Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+.
Serenella CerritoAmélie DavidValentin GorankoPublished in: IJCAR (2014)
Keyphrases
- alternating time temporal logic
- model checking
- imperfect information
- decision procedures
- decision making
- modal logic
- proof procedure
- theorem proving
- temporal logic
- dynamic programming
- decision problems
- test cases
- upper bound
- multi agent systems
- phase transition
- propositional logic
- formal verification
- decision makers