LTL Realizability via Safety and Reachability Games.
Alberto CamachoChristian J. MuiseJorge A. BaierSheila A. McIlraithPublished in: IJCAI (2018)
Keyphrases
- temporal logic
- state space
- computer games
- model checking
- linear temporal logic
- game theoretic
- bounded model checking
- nash equilibria
- video games
- transitive closure
- game design
- perfect information
- educational games
- nash equilibrium
- game theory
- weighted majority
- linear time temporal logic
- coalitional games
- game playing
- game play
- learning games
- linear logic
- general game playing
- transition systems
- multi agent systems
- data sets