PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hatefi, Hassan"

Author of the publication

copydeleteadd this publication to your clipboard
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata.

, , , , , and . QAPL, volume 154 of EPTCS, page 48-63. (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Hassan Gomaa University of Stuttgart

Asmaa Hassan University of Stuttgart

Hassan Hayeri University of Stuttgart

Mohamed Hassan University of Stuttgart

Muhammad Khubaib ul Hassan Khan University of Stuttgart

 

Other publications of authors with the same name

Modelling, Reduction and Analysis of Markov Automata., , , , and . QEST, volume 8054 of Lecture Notes in Computer Science, page 55-71. Springer, (2013)Abstraction-Based Computation of Reward Measures for Markov Automata., , , , , and . VMCAI, volume 8931 of Lecture Notes in Computer Science, page 172-189. Springer, (2015)Improving time bounded reachability computations in interactive Markov chains., and . Sci. Comput. Program., (2015)Modelling, Reduction and Analysis of Markov Automata (extended version), , , , and . CoRR, (2013)Model Checking Algorithms for Markov Automata., and . ECEASST, (2012)Modelling and Analysis of Markov Reward Automata., , , , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 168-184. Springer, (2014)Optimal Continuous Time Markov Decisions., , , and . ATVA, volume 9364 of Lecture Notes in Computer Science, page 166-182. Springer, (2015)Improving Time Bounded Reachability Computations in Interactive Markov Chains., and . FSEN, volume 8161 of Lecture Notes in Computer Science, page 250-266. Springer, (2013)Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version)., , and . SynCoP, volume 145 of EPTCS, page 19-33. (2014)MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata., , , , , and . QAPL, volume 154 of EPTCS, page 48-63. (2014)