Deterministic Generators and Games for LTL Fragments.
Rajeev AlurSalvatore La TorrePublished in: LICS (2001)
Keyphrases
- deterministic automata
- temporal logic
- linear temporal logic
- game theoretic
- video games
- model checking
- computer games
- game theory
- game tree search
- stochastic games
- game play
- educational games
- game playing
- online game
- learning games
- game players
- nash equilibrium
- bounded model checking
- black box
- game design
- multi agent
- imperfect information
- general game playing
- weighted majority
- linear time temporal logic