A | B | C | D | E | F 
 G | H | I | J | K | L | M 
 N | O | P | Q | R | S | T 
 U | V | W | X | Y | Z 
max planck institut
mpii logo Minerva of the Max Planck Society


Hashemi, Vahid


Vahid Hashemi

Max-Planck-Institut für Informatik
Dependable Systems and Software Group
Campus E1 3, Room 511
66123 Saarbrücken, Germany

Email: hashemi@mpi-inf.mpg.de
Phone: +49 681 302 5621
Fax: +49 681 302 5636  

I am currently a Ph.D. student in the chair of Dependable Systems and Software Group at Saarland University and I am most happy to have Prof. Dr.-Ing. Holger Hermanns as my supervisor. I'm in general interested in the synergy between design and analysis of algorithms and probabilistic verification. In particular, I'm working on the stochastic modelling, optimal control and quantitative verification of parametric probabilistic systems. These involves topics such as efficient decision algorithms for behavioral equivalences, controller synthesis and so on. Currently, my Ph.D. is supported by International Max Planck Research School for Computer Science (IMPRS-CS).

 Research Interests

Selected Publications 

Full list of publications is availabe in my DBLP and ResearchGate.

  1. Decision Algorithms for Modelling, Optimal Control and Verification of Probabilistic Systems
    Hashemi, V.,
    Ph.D. Dissertation, Saarland University, 2017.

  2. Multi-objective Approaches to Markov Decision Processes with Uncertain Transition Parameters
    Scheftelowitsch, D., Buchholz, P., Hashemi, V., and Hermanns, H.,
    In Proc. of ValueTools 2017 (to appear).

  3. Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs (Best paper award)
    Hashemi, V., Turrini, A., Hahn, E. M., Hermanns, H., and Elbassioni, K.,
    In Proc. of SETTA 2017, LNCS 10606, pages 25-41, 2017.

  4. Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
    Hahn, E. M., Hashemi, V., Hermanns, H., Lahijanian, M., and Turrini, A.,
    In Proc. of QEST 2017, LNCS 10503, pages 207-223, 2017.

  5. Reformulation of the Linear Program for Completely Ergodic MDPs with Average Cost Criteria
    Hashemi V.,
    In Journal Optimization Letters, 11(7), pages 1477-1487, 2017.

  6. Compositional Reasoning for Interval Markov Decision Processes
    Hashemi V., Hermanns H., and Turrini A.,

  7. Exploiting Robust Optimization for Interval Probabilistic Bisimulation
    Hashemi V., Hahn E. M., Hermanns H., and Turrini A.,
    In Proc. of QEST'16, LNCS 9826, pages 55-71, 2016.

  8. Towards a Combinatorial Approach for Undiscounted MDPs
    Hashemi V.,
    In Proc. of ACM SAC’16, ACM, pages 1708-1709, 2016.

  9. Compositional Bisimulation Minimization for Interval Markov Decision Processes
    Hashemi V., Hermanns H., Song L.,Subramani K., Turrini A., and Wojciechowski P.,
    In Proc. of LATA'16, LNCS 9618, pages 114-126, 2016.

  10. Reward-Bounded Reachability Probability for Uncertain Weighted MDPs
    Hashemi V., Hermanns H., and Song L.,
    In Proc. of VMCAI’16, LNCS 9583, pages 351-371, 2016.

  11. Deciding Probabilistic Automata Weak Bisimulation: Theory and Practice
    Ferrer Fioriti L. M., Hashemi V., Hermanns H., and Turrini A.,
    In Journal Formal Aspects of Computing, 28: pages 109-143, 2016.

  12. Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs
    Hashemi V., Hatefi H., and Krcál J.,
    In Proc. of SynCoP’14, EPTCS 145, pages 19-33, 2014.

  13. On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation
    Hashemi V., Hermanns H., and Turrini A.,
    In Journal Electronic Communications of EASST, Volume 66, 2013.

  14. Computing Behavioral Relations for Probabilistic Concurrent Systems
    Gebler D., Hashemi V., and Turrini A.,
    In Proc. of ROCKS’12, LNCS, pages 117-155, 2012.

 Project Supervised