Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty.
Alessandro CimattiLuke HunsbergerAndrea MicheliMarco RoveriPublished in: AAAI (2014)
Keyphrases
- simple temporal
- plan execution
- temporal constraints
- timed automata
- optimal strategy
- temporal reasoning
- repeated games
- finite state machines
- petri net
- game theory
- computer games
- database systems
- databases
- nash equilibrium
- model checking
- temporal planning
- game play
- finite state
- game playing
- search space
- video games
- plan generation
- decision problems