Real-time control with parametric timed reachability games.
Aleksandra JovanovicSébastien FaucouDidier LimeOlivier H. RouxPublished in: WODES (2012)
Keyphrases
- real time control
- control system
- flexible manufacturing systems
- video games
- petri net
- strong robustness
- state space
- game theory
- game playing
- parametric models
- finite state machines
- game theoretic
- real time
- educational games
- nash equilibrium
- computer games
- game design
- nash equilibria
- timed automata
- transitive closure
- incomplete information
- game development
- learning agents
- perfect information
- game players
- dynamic programming