Deterministic generators and games for Ltl fragments.
Rajeev AlurSalvatore La TorrePublished in: ACM Trans. Comput. Log. (2004)
Keyphrases
- temporal logic
- deterministic automata
- model checking
- video games
- linear temporal logic
- game theory
- computer games
- nash equilibrium
- nash equilibria
- perfect information
- coalitional games
- online game
- digital games
- game theoretic
- finite automata
- learning agents
- human computation
- educational games
- black box
- bounded model checking
- horizontal fragmentation
- game based learning
- game design
- monte carlo tree search
- linear time temporal logic
- monte carlo