Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface.
Adriano PeronCarla PiazzaPublished in: Inf. Comput. (2017)
Keyphrases
- formal verification
- model checking
- finite state
- symbolic model checking
- model checker
- finite state machines
- automated verification
- game theory
- modal logic
- game theoretic
- nash equilibria
- bounded model checking
- inference rules
- cellular automata
- game design
- finite automata
- international workshop
- educational games
- video games
- game play
- nash equilibrium
- temporal logic
- computer games
- regular expressions
- propositional dynamic logic