Keyphrases
- formal verification
- model checker
- bounded model checking
- model checking
- international conference
- temporal logic
- international symposium
- automata theoretic
- finite state machines
- international workshop
- finite state
- automated verification
- computer science
- lecture notes
- modal logic
- advances in artificial intelligence
- selected papers
- program slicing
- symbolic model checking
- educational games
- game theory
- artificial intelligence
- formal methods
- cellular automata
- tree automata
- finite automata
- working conference
- linear temporal logic
- logic programming
- video games
- nash equilibrium
- regular expressions
- united states
- computer games
- lecture notes in artificial intelligence
- game theoretic
- formal specification
- invited talk
- game playing
- knowledge discovery and data mining
- australasian database conference