Stochastic Games for Verification of Probabilistic Timed Automata.
Marta Z. KwiatkowskaGethin NormanDavid ParkerPublished in: FORMATS (2009)
Keyphrases
- stochastic games
- timed automata
- model checking
- temporal logic
- nash equilibria
- finite state
- nash equilibrium
- multi agent
- learning automata
- markov decision processes
- generative model
- real time systems
- theorem prover
- artificial intelligence
- game theory
- theorem proving
- long run
- multiagent systems
- distributed systems
- average reward
- imperfect information
- multi agent systems
- repeated games
- bayesian networks