Hassan Hatefi

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 1

Top Topics

Probabilistic Automata

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

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