About me

I have moved to Audi AG. This page will no longer be updated.

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

Address: Campus Saarbrücken, 66123 Saarbrücken
Phone: +49 681 302 5621
Location: Bldg. E1 3, Room 511
E-mail: hashemi@depend.uni-saarland.de