A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information.
Jandson S. RibeiroAline AndradePublished in: ICFEM (2015)
Keyphrases
- model checking
- partial information
- temporal logic
- incomplete information
- planning domains
- formal verification
- symbolic model checking
- automated verification
- model checker
- formal specification
- temporal properties
- game playing
- timed automata
- computer games
- epistemic logic
- formal methods
- nash equilibrium
- bounded model checking
- verification method
- game theory
- video games
- partial observability
- transition systems
- computation tree logic
- asynchronous circuits
- concurrent systems
- reachability analysis
- reactive systems
- imperfect information
- belief change
- game play
- linear temporal logic
- evaluation function
- deterministic finite automaton
- alternating time temporal logic