A Tutorial on Interactive Markov Chains. - Florian Arnold; Daniel Gebler; Dennis Guck; Hassan Hatefi (ROCKS, 2012)

Model Checking Algorithms for Markov Automata. - Hassan Hatefi; Holger Hermanns (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Modelling, Reduction and Analysis of Markov Automata. - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (QEST, 2013)

Modelling, Reduction and Analysis of Markov Automata (extended version) - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (CoRR, 2013)

Modelling and Analysis of Markov Reward Automata. - Dennis Guck; Mark Timmer; Hassan Hatefi; Enno Ruijters; Mariëlle Stoelinga (ATVA, 2014)

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. - Bettina Braitling; Luis María Ferrer Fioriti; Hassan Hatefi; Ralf Wimmer 001; Bernd Becker 001; Holger Hermanns (QAPL, 2014)

Analysis of Timed and Long-Run Objectives for Markov Automata. - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (Log. Methods Comput. Sci., 2014)

Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). - Vahid Hashemi; Hassan Hatefi; Jan Krcál (SynCoP, 2014)

Optimal Continuous Time Markov Decisions. - Yuliya Butkova; Hassan Hatefi; Holger Hermanns; Jan Krcál (ATVA, 2015)

Abstraction-Based Computation of Reward Measures for Markov Automata. - Bettina Braitling; Luis María Ferrer Fioriti; Hassan Hatefi; Ralf Wimmer 001; Bernd Becker 001; Holger Hermanns (VMCAI, 2015)

Improving time bounded reachability computations in interactive Markov chains. - Hassan Hatefi; Holger Hermanns (Sci. Comput. Program., 2015)

Cost vs. time in stochastic games and Markov automata. - Hassan Hatefi; Ralf Wimmer 001; Bettina Braitling; Luis María Ferrer Fioriti; Bernd Becker 001; Holger Hermanns (Formal Aspects Comput., 2017)