Keyphrases
- temporal logic
- model checking
- mazurkiewicz traces
- modal logic
- concurrent systems
- satisfiability problem
- game tree
- game theory
- verification method
- video games
- belief revision
- predicate logic
- linear temporal logic
- game playing
- tree structure
- educational games
- decision trees
- temporal knowledge
- formal specification
- nash equilibrium
- game play
- computer games
- computation tree logic
- artificial intelligence
- inference rules
- temporal resolution
- markov chain
- multi agent