Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games.
Xiaowei HuangRon van der MeydenPublished in: AAAI (2012)
Keyphrases
- model checking
- epistemic logic
- computation tree logic
- temporal logic
- pursuit evasion
- temporal epistemic
- formal verification
- model checker
- temporal properties
- reachability analysis
- bounded model checking
- modal logic
- finite state
- automated verification
- formal specification
- multi agent systems
- logical framework
- game theory
- partial order reduction
- pspace complete
- verification method
- symbolic model checking
- process algebra
- timed automata
- transition systems
- linear temporal logic
- deterministic finite automaton
- multi agent
- modal operators
- alternating time temporal logic
- knowledge based systems
- temporally extended goals
- computer games
- mathematical theory
- asynchronous circuits