Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions.
Aleksandra JovanovicMarta Z. KwiatkowskaPublished in: RP (2014)
Keyphrases
- timed automata
- model checking
- reachability analysis
- probabilistic model
- bayesian networks
- stochastic context free grammars
- theorem prover
- game theory
- computer games
- video games
- uncertain data
- program synthesis
- game design
- game playing
- first order logic
- generative model
- parameter values
- theorem proving
- game play
- probabilistic reasoning
- real time systems
- real time
- multi agent
- virtual world
- belief networks
- parameter space
- monte carlo