Sign in
Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice.
Marta Z. Kwiatkowska
Published in:
ICALP (2016)
Keyphrases
</>
model checking
stochastic games
temporal logic
formal methods
finite state
finite state machines
markov decision processes
verification method
nash equilibria
modal logic
learning automata
imperfect information
multi agent systems
single agent