A Modest Markov Automata Tutorial

2019 ◽  
pp. 250-276 ◽  
Author(s):  
Arnd Hartmanns ◽  
Holger Hermanns
Keyword(s):  
Markov Automata

scholarly journals Confluence reduction for Markov automata

2016 ◽  
Vol 655 ◽  
pp. 193-219 ◽  
Author(s):  
Mark Timmer ◽  
Joost-Pieter Katoen ◽  
Jaco van de Pol ◽  
Mariëlle Stoelinga
Keyword(s):  
Markov Automata

scholarly journals Expected-Delay-Summing Weak Bisimilarity for Markov Automata

2015 ◽  
Vol 194 ◽  
pp. 1-15 ◽  
Author(s):  
Alessandro Aldini ◽  
Marco Bernardo
Keyword(s):  
Markov Automata

scholarly journals Confluence Reduction for Markov Automata

2013 ◽  
pp. 243-257 ◽  
Author(s):  
Mark Timmer ◽  
Jaco van de Pol ◽  
Mariëlle I. A. Stoelinga
Keyword(s):  
Markov Automata

Cost vs. Time in Stochastic Games and Markov Automata

2015 ◽  
pp. 19-34 ◽  
Author(s):  
Hassan Hatefi ◽  
Bettina Braitling ◽  
Ralf Wimmer ◽  
Luis María Ferrer Fioriti ◽  
Holger Hermanns ◽  
...  
Keyword(s):  
Stochastic Games ◽  
Markov Automata

Abstraction-Based Computation of Reward Measures for Markov Automata

2015 ◽  
pp. 172-189 ◽  
Author(s):  
Bettina Braitling ◽  
Luis María Ferrer Fioriti ◽  
Hassan Hatefi ◽  
Ralf Wimmer ◽  
Bernd Becker ◽  
...  
Keyword(s):  
Markov Automata

Cost vs. time in stochastic games and Markov automata

2017 ◽  
Vol 29 (4) ◽  
pp. 629-649 ◽  
Author(s):  
Hassan Hatefi ◽  
Ralf Wimmer ◽  
Bettina Braitling ◽  
Luis María Ferrer Fioriti ◽  
Bernd Becker ◽  
...  
Keyword(s):  
Stochastic Games ◽  
Markov Automata

scholarly journals Markov Automata with Multiple Objectives

2017 ◽  
pp. 140-159 ◽  
Author(s):  
Tim Quatmann ◽  
Sebastian Junges ◽  
Joost-Pieter Katoen
Keyword(s):  
Multiple Objectives ◽  
Markov Automata
Sign in / Sign up

Export Citation Format

Share Document