Parameter synthesis for probabilistic timed automata using stochastic game abstractions.
Aleksandra JovanovicMarta KwiatkowskaPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem proving
- probabilistic model
- theorem prover
- game theory
- stochastic context free grammars
- video games
- game playing
- generative model
- high level
- computer games
- game design
- educational games
- real time systems
- game play
- parameter values
- virtual world
- bayesian networks
- real time
- texture synthesis
- game theoretic
- probabilistic reasoning
- program synthesis
- qualitative probabilistic networks
- serious games
- first order logic
- parameter estimation
- probabilistic networks
- virtual environment
- expert systems