Quantitative Games on Probabilistic Timed Automata
Marta Z. KwiatkowskaGethin NormanAshutosh TrivediPublished in: CoRR (2010)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- video games
- bayesian networks
- probabilistic model
- weighted majority
- uncertain data
- qualitative and quantitative
- temporal logic
- posterior probability
- computer games
- generative model
- theorem proving
- probabilistic logic
- nash equilibria
- artificial intelligence
- data sets
- game theory
- quantitative and qualitative
- educational games
- game play
- game theoretic
- probabilistic reasoning
- low cost
- cooperative