Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Vahid Hashemi  [Clear All Filters]
2014
V. Hashemi, H. Hatefi, and J. Krčál, “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.