SAT-Based ATL Satisfiability Checking.
Magdalena KacprzakArtur NiewiadomskiWojciech PenczekPublished in: KR (2020)
Keyphrases
- bounded model checking
- model checking
- temporal logic
- alternating time temporal logic
- multi agent systems
- answer set programming
- formal verification
- sat solvers
- planning domains
- ai planning
- computation tree logic
- version space
- answer sets
- satisfiability problem
- constraint solver
- sat encodings
- neural network
- reactive systems
- linear temporal logic
- logic programming
- support vector