{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T02:51:27Z","timestamp":1730256687887,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/icsai.2017.8248391","type":"proceedings-article","created":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T17:42:24Z","timestamp":1515433344000},"page":"779-784","source":"Crossref","is-referenced-by-count":0,"title":["Continuous simulation abstraction refinement for Markov decision processes"],"prefix":"10.1109","author":[{"given":"Xu","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zongyuan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19488-2_1"},{"key":"ref11","article-title":"Modelling and verification for dna nanotechnology","author":"dannenberg","year":"2016","journal-title":"Oxford University"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"journal-title":"Reachability analysis of probabilistic systems by successive refinements PAPM-PROBMIV","year":"2001","author":"dargenio","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1838552.1838553"},{"key":"ref15","first-page":"57","article-title":"Re-duction and refinement strategies for probabilistic analysis","author":"d\u2019","year":"2002","journal-title":"Joint International Workshop on Process Algebra and Probabilistic Methods PERFORMANCE Modeling and Verification"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-010-0097-6"},{"key":"ref18","first-page":"362","article-title":"Best probabilistic transformers","author":"zhang","year":"2010","journal-title":"International Conference on Verification Model Checking and Abstract Interpretation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2014.08.023"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.07.013"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/VETECS.2011.5956327"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-006-9038-5"},{"key":"ref3","first-page":"133","article-title":"FMICS Handbook on Industrial Critical Systems","author":"duflot","year":"0","journal-title":"IEEE Computer Society Press 2010 ch Practical Applications of Probabilistic Model Checking to Communication Protocols to appear"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WONS.2012.6152219"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2015.88036"},{"journal-title":"Probabilistic model checking of security protocols without perfect cryptography assumption","year":"2016","author":"siedlecka-lamch","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.15"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0227-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-01928-4_3"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.28.9"},{"key":"ref20","first-page":"3877","article-title":"Pac optimal mdp planning with application to invasive species management","volume":"16","author":"taleghan","year":"2015","journal-title":"Journal of Machine Learning Research"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338237"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11439-2_10"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.10.030"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_17"},{"journal-title":"The bounded retransmission protocol must be on time!","year":"1997","author":"d\u2019 argenio","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837663"}],"event":{"name":"2017 4th International Conference on Systems and Informatics (ICSAI)","start":{"date-parts":[[2017,11,11]]},"location":"Hangzhou","end":{"date-parts":[[2017,11,13]]}},"container-title":["2017 4th International Conference on Systems and Informatics (ICSAI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8233022\/8248252\/08248391.pdf?arnumber=8248391","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T17:54:30Z","timestamp":1518458070000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8248391\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/icsai.2017.8248391","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}