About me

I have been a Ph.D. student at the chair of Prof. Dr.-Ing. Holger Hermanns until March 2018.

Research

My main research interests range over stochastic modelling, optimal control and verification of parametric probabilistic systems. These involves topics such as efficient decision algorithms for behavioral equivalences, controller synthesis and so on.

Publications

• Alternating Bisimulations for Optimal Control of Interval MDPs
  Hashemi, V., Turrini, A., Hahn, E. M., Hermanns, H., and Elbassioni, K.,
  In Journal of Science of Computer Programming, 2018 (under review).
• Interval Markov Decision Processes with Multiple Objectives: from Robust Strategies to Pareto Curves
  Hahn, E. M., Hashemi, V., Hermanns, H., Lahijanian, M., and Turrini, A.,
  In Journal of ACM Transactions on Modeling and Computer Simulation, 2018 (under review).
• Decision Algorithms for Modelling, Optimal Control and Verification of Probabilistic Systems
  Hashemi V.
  Ph.D. Dissertation, Saarland University, 2017.
• 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).
• 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.
• 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.
• 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.
• Compositional Reasoning for Interval Markov Decision Processes
  Hashemi V., Hermanns H., and Turrini A.,
  [arXiv:1607.08484] (https://arxiv.org/abs/1607.08484).
• 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.
• Towards a Combinatorial Approach for Undiscounted MDPs
  Hashemi V.,
  In Proc. of ACM SAC’16, ACM, pages 1708-1709, 2016.
• 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.
• 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.
• 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.
• 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.
• 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.
• Computing Behavioral Relations for Probabilistic Concurrent Systems
  Gebler D., Hashemi V., and Turrini A.,
  In Proc. of ROCKS’12, LNCS, pages 117-155, 2012.

Contact