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
{"_id":"xRajnY6SvBY5GaS68","bibbaseid":"hashemi-hatefi-krcal-probabilisticbisimulationsforpctlmodelcheckingofintervalmdpsextendedversion-2014","downloads":0,"creationDate":"2015-07-07T15:41:10.116Z","title":"Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version)","author_short":["Hashemi, V.","Hatefi, H.","Krcal, J."],"year":2014,"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/2539494/collections/QPKDCWZ2/items?key=GQZ7eSblSbBg8hlOjp5OpOAp&format=bibtex&limit=100","bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Hashemi"],"firstnames":["Vahid"],"suffixes":[]},{"propositions":[],"lastnames":["Hatefi"],"firstnames":["Hassan"],"suffixes":[]},{"propositions":[],"lastnames":["Krcal"],"firstnames":["Jan"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["André"],"firstnames":["Étienne"],"suffixes":[]},{"propositions":[],"lastnames":["Frehse"],"firstnames":["Goran"],"suffixes":[]}],"year":"2014","pages":"19–33","bibtex":"@inproceedings{hashemi_probabilistic_2014,\n\tseries = {{EPTCS}},\n\ttitle = {Probabilistic {Bisimulations} for {PCTL} {Model} {Checking} of {Interval} {MDPs} (extended version)},\n\tvolume = {145},\n\tdoi = {10.4204/EPTCS.145.4},\n\tbooktitle = {Proceedings 1st {International} {Workshop} on {Synthesis} of {Continuous} {Parameters}, {SynCoP} 2014, {Grenoble}, {France}, 6th {April} 2014},\n\tauthor = {Hashemi, Vahid and Hatefi, Hassan and Krcal, Jan},\n\teditor = {André, Étienne and Frehse, Goran},\n\tyear = {2014},\n\tpages = {19--33},\n}\n\n","author_short":["Hashemi, V.","Hatefi, H.","Krcal, J."],"editor_short":["André, É.","Frehse, G."],"key":"hashemi_probabilistic_2014","id":"hashemi_probabilistic_2014","bibbaseid":"hashemi-hatefi-krcal-probabilisticbisimulationsforpctlmodelcheckingofintervalmdpsextendedversion-2014","role":"author","urls":{},"metadata":{"authorlinks":{}}},"search_terms":["probabilistic","bisimulations","pctl","model","checking","interval","mdps","extended","version","hashemi","hatefi","krcal"],"keywords":[],"authorIDs":["5457d87e2abc8e9f370007e5"],"dataSources":["ypi2bjGvbv5c7j2pz"]}