Games, Automata, Logics, and Formal Verification (GandALF 2013).
Angelo MontanariGabriele PuppisTiziano VillaPublished in: Inf. Comput. (2015)
Keyphrases
- formal verification
- model checking
- finite state
- model checker
- finite state machines
- bounded model checking
- modal logic
- automated verification
- expressive power
- symbolic model checking
- temporal logic
- program slicing
- cellular automata
- inference rules
- game design
- video games
- nash equilibrium
- game playing
- computer games
- finite automata
- game theoretic
- nash equilibria
- knowledge representation
- functional verification
- set theory
- serious games
- regular expressions
- orders of magnitude