Comparing approaches for model-checking strategies under imperfect information and fairness constraints.
Simon BusardCharles PecheurHongyang QuFranco RaimondiPublished in: Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
- model checking
- alternating time temporal logic
- imperfect information
- temporal logic
- formal verification
- formal specification
- automated verification
- finite state
- temporal properties
- epistemic logic
- transition systems
- constraint satisfaction
- verification method
- symbolic model checking
- multi agent systems
- resource allocation
- computation tree logic
- model checker
- multi agent
- game playing