Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall.
Angelo FerrandoVadim MalvonePublished in: AAMAS (2021)
Keyphrases
- alternating time temporal logic
- model checking
- imperfect information
- temporal logic
- model checker
- computation tree logic
- formal verification
- symbolic model checking
- game theoretic
- temporal properties
- finite state
- formal specification
- game playing
- verification method
- game theory
- dynamic programming
- modal logic
- software engineering