34 citations · 53 across the 5 of their papers we have counts for
5 papers
Optimal Continuous Time Markov Decisions
Yuliya Butkova, Hassan Hatefi, Holger Hermanns +1
In the context of Markov decision processes running in continuous time, one of the most intriguing challenges is the efficient approximation of finite horizon reachability objectiv…
Analysis of Timed and Long-Run Objectives for Markov Automata
Dennis Guck, Hassan Hatefi, Holger Hermanns +2
Markov automata (MAs) extend labelled transition systems with random delays and probabilistic branching. Action-labelled transitions are instantaneous and yield a distribution over…
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi +3
Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of comp…
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs
Vahid Hashemi, Hassan Hatefi, Jan Krčál
Verification of PCTL properties of MDPs with convex uncertainties has been investigated recently by Puggelli et al. However, model checking algorithms typically suffer from state s…
Modelling, Reduction and Analysis of Markov Automata (extended version)
Dennis Guck, Hassan Hatefi, Holger Hermanns +2
Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic faul…