Optimal Strategies in Priced Timed Game Automata.
Patricia BouyerFranck CassezEmmanuel FleuryKim Guldstrand LarsenPublished in: FSTTCS (2004)
Keyphrases
- optimal strategy
- timed automata
- decision problems
- monte carlo
- finite state machines
- cooperative game
- expected utility
- petri net
- expected cost
- cellular automata
- mathematical models
- finite automata
- probabilistic automata
- model checking
- lattice gas
- machine learning
- regular expressions
- search space
- artificial intelligence