Keyphrases
- modal logic
- temporal logic
- model checking
- epistemic logic
- decision procedures
- inference rules
- computation tree logic
- formal verification
- temporal properties
- automated verification
- kripke models
- finite state
- model checker
- satisfiability problem
- verification method
- bounded model checking
- nonmonotonic logics
- classical logic
- pspace complete
- formal specification
- video games
- formal methods
- game theory
- symbolic model checking
- timed automata
- default logic
- game playing
- nash equilibrium
- transition systems
- game play
- dynamic logic
- prime implicates
- situation calculus
- sequent calculus
- planning domains