Stochastic Real-Time Games with Qualitative Timed Automata Objectives.
Tomás BrázdilJan KrcálJan KretínskýAntonín KuceraVojtech RehákPublished in: CONCUR (2010)
Keyphrases
- real time
- timed automata
- real time systems
- model checking
- reachability analysis
- low cost
- computer games
- monte carlo
- theorem proving
- game theoretic
- game theory
- qualitative and quantitative
- theorem prover
- online game
- nash equilibrium
- stochastic programming
- perfect information
- game design
- software engineering
- evolutionary algorithm
- bayesian networks