Vahid Hashemi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves ACM Transactions on Modeling and Computer Simulation	2024-09-08	Paper
Polynomial-time alternating probabilistic bisimulation for interval MDPs Dependable Software Engineering. Theories, Tools, and Applications	2022-11-04	Paper
Probabilistic bisimulations for PCTL model checking of interval MDPs	2021-06-22	Paper
Probabilistic bisimulations for PCTL model checking of interval MDPs (available as arXiv preprint)	2021-06-22	Paper
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes Quantitative Evaluation of Systems	2019-09-17	Paper
Exploiting robust optimization for interval probabilistic bisimulation	2018-01-11	Paper
Reformulation of the linear program for completely ergodic MDPs with average cost criteria Optimization Letters	2017-11-09	Paper
Measuring diversity of preferences in a group	2017-07-18	Paper
Deciding probabilistic automata weak bisimulation: theory and practice Formal Aspects of Computing	2016-05-12	Paper
Compositional bisimulation minimization for interval Markov decision processes Language and Automata Theory and Applications	2016-04-13	Paper
Reward-bounded reachability probability for uncertain weighted MDPs Lecture Notes in Computer Science	2016-03-23	Paper
Computing Behavioral Relations for Probabilistic Concurrent Systems Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems	2015-01-12	Paper
Circular and radial design comparison of survivability in asymmetrical hierarchical networks International Journal of Computer Mathematics	2012-05-23	Paper

Research outcomes over time

This page was built for person: Vahid Hashemi