SAT-Based ATL Satisfiability Checking.
Magdalena KacprzakArtur NiewiadomskiWojciech PenczekPublished in: CoRR (2020)
Keyphrases
- bounded model checking
- model checking
- temporal logic
- multi agent systems
- alternating time temporal logic
- answer set programming
- sat solvers
- formal verification
- computation tree logic
- ai planning
- constraint solver
- planning domains
- answer sets
- version space
- sat encodings
- boolean satisfiability
- reactive systems
- linear temporal logic
- data sets
- imperfect information
- planning problems
- orders of magnitude
- logic programming
- search space
- search algorithm
- multi agent