Publications
Filters: Author is Vahid Hashemi [Clear All Filters]
, “Probabilistic Bisimulations for {PCTL} Model Checking of Interval MDPs (extended version)”, in Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014., 2014.
, “On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation”, {ECEASST}, vol. 66, 2013.
, “Computing Behavioral Relations for Probabilistic Concurrent Systems”, in {ROCKS}, 2012.
