From Reachability to Temporal Specifications in Cost-Sharing Games.
Guy AvniOrna KupfermanTami TamirPublished in: IJCAR (2014)
Keyphrases
- spatio temporal
- spatial and temporal
- video games
- temporal relations
- temporal data
- temporal information
- high level
- computer games
- game playing
- educational games
- temporal patterns
- temporal dimension
- game design
- temporal constraints
- temporal reasoning
- space time
- serious games
- game theoretic
- temporal databases
- game based learning
- online game
- specification language
- temporal evolution
- virtual environment
- perfect information