34 citations · 53 across the 5 of their papers we have counts for
3 papers · 1 filter
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…