Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). Hashemi, V., Hatefi, H., & Krcal, J. In André, É. & Frehse, G., editors, Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014, volume 145, of EPTCS, pages 19–33, 2014.
doi  bibtex   
@inproceedings{hashemi_probabilistic_2014,
	series = {{EPTCS}},
	title = {Probabilistic {Bisimulations} for {PCTL} {Model} {Checking} of {Interval} {MDPs} (extended version)},
	volume = {145},
	doi = {10.4204/EPTCS.145.4},
	booktitle = {Proceedings 1st {International} {Workshop} on {Synthesis} of {Continuous} {Parameters}, {SynCoP} 2014, {Grenoble}, {France}, 6th {April} 2014},
	author = {Hashemi, Vahid and Hatefi, Hassan and Krcal, Jan},
	editor = {André, Étienne and Frehse, Goran},
	year = {2014},
	pages = {19--33}
}

Downloads: 0