Keyphrases
- formal verification
- model checking
- finite state machines
- finite state
- temporal logic
- bounded model checking
- model checker
- automated verification
- modal logic
- symbolic model checking
- nash equilibria
- artificial intelligence
- video games
- game theoretic
- game design
- computer science
- expressive power
- cellular automata
- finite automata
- international conference
- game playing
- nash equilibrium
- game theory
- game play
- terrorist attacks
- computer games
- formal specification
- regular expressions
- graph theory
- game tree
- tree automata
- program slicing