Hassan Hatefi

15 papers B 3Misc 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2017 J jnl
Cost vs. time in stochastic games and Markov automata.
Formal Aspects Comput.
Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns
2015 B conf
Abstraction-Based Computation of Reward Measures for Markov Automata.
VMCAI
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
2015 Misc conf
Cost vs. Time in Stochastic Games and Markov Automata.
SETTA
Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker
2015 J jnl
Improving time bounded reachability computations in interactive Markov chains.
Sci. Comput. Program.
Hassan Hatefi, Holger Hermanns
2015 B conf
Optimal Continuous Time Markov Decisions.
ATVA
Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál
2015 J jnl
Optimal Continuous Time Markov Decisions.
CoRR
Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál
2014 J jnl
Analysis of Timed and Long-Run Objectives for Markov Automata.
Log. Methods Comput. Sci.
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
2014 — conf
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata.
QAPL
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
2014 B conf
Modelling and Analysis of Markov Reward Automata.
ATVA
Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga
2014 — conf
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version).
SynCoP
Vahid Hashemi, Hassan Hatefi, Jan Krcál
2013 — conf
Improving Time Bounded Reachability Computations in Interactive Markov Chains.
FSEN
Hassan Hatefi, Holger Hermanns
2013 J jnl
Modelling, Reduction and Analysis of Markov Automata (extended version)
CoRR
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
2013 — conf
Modelling, Reduction and Analysis of Markov Automata.
QEST
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
2012 — conf
A Tutorial on Interactive Markov Chains.
ROCKS
Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi
2012 J jnl
Model Checking Algorithms for Markov Automata.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Hassan Hatefi, Holger Hermanns