Hassan Hatefi

Identifiers

• name variant Hassan Hatefi 0.60 · backfill

Papers (4)

1. Optimal Continuous Time Markov Decisions cs.SY · 2015 · author #2
2. MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata cs.LO · 2014 · author #3
3. Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs cs.FL · 2014 · author #2
4. Modelling, Reduction and Analysis of Markov Automata (extended version) cs.LO · 2013 · author #2

Mentions

• 1305.7050 #2 · backfill · confidence 0.70 Hassan Hatefi

Frequent Coauthors

• Holger Hermanns 3 shared papers
• Bernd Becker 1 shared papers
• Bettina Braitling 1 shared papers
• Dennis Guck 1 shared papers
• Jan Krcal 1 shared papers
• Jan Kr\v{c}\'al 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Luis Mar\'ia Ferrer Fioriti 1 shared papers
• Mark Timmer 1 shared papers
• Ralf Wimmer 1 shared papers
• Vahid Hashemi 1 shared papers
• Yuliya Butkova 1 shared papers