Stochastic Games for Verification of Probabilistic Timed Automata.

Marta Z. Kwiatkowska Gethin Norman David Parker

Published 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