{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:11:35Z","timestamp":1729642295859,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/memcod.2011.5970522","type":"proceedings-article","created":{"date-parts":[[2011,8,3]],"date-time":"2011-08-03T22:16:29Z","timestamp":1312409789000},"page":"151-160","source":"Crossref","is-referenced-by-count":0,"title":["Reachability analysis for incomplete networks of Markov decision processes"],"prefix":"10.1109","author":[{"given":"Ralf","family":"Wimmer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernst Moritz","family":"Hahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/11691617_5","article-title":"Don't know in probabilistic systems","volume":"3925","author":"fecher","year":"2006","journal-title":"Proc Int'l SPIN Workshop Model Checking of Software"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050046"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1957.6.56038"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_7"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/11691372_29","article-title":"PRISM: A tool for automatic verification of probabilistic systems","volume":"3920","author":"hinton","year":"2006","journal-title":"12th Int'l Conf on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/978-3-540-78929-1_13","article-title":"Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems","volume":"4981","author":"franzle","year":"2008","journal-title":"11th Int'l Conf on Hybrid Systems Computation and Control (HSCC)"},{"key":"ref4","first-page":"273","article-title":"Computation of minimal counterexamples by using black box techniques and symbolic methods","author":"nopper","year":"2007","journal-title":"Int'l Conf On Computer-Aided Design (ICCAD)"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/978-3-540-30494-4_21","article-title":"Approximate symbolic model checking for incomplete designs","volume":"3312","author":"nopper","year":"2004","journal-title":"5th Int'l Conf on Formal Methods in Computer-Aided Design (FMCAD)"},{"key":"ref6","first-page":"194","article-title":"Encoding techniques, Craig interpolants and bounded model checking for incomplete designs","volume":"6175","author":"miller","year":"2010","journal-title":"Proc Int'l Conf Theory and Applications of Satisfiability Testing (SAT)"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MTV.2006.3","article-title":"Advanced SAT-techniques for bounded model checking of blackbox designs","author":"herbstritt","year":"2006","journal-title":"Fifth International Workshop on Microprocessor Test and Verification (MTV'04) MTV"},{"key":"ref8","first-page":"23","article-title":"Assume-guarantee verification for probabilistic systems","volume":"6015","author":"kwiatkowska","year":"2010","journal-title":"16th Int'l Conf on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2010.19"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2002.808407"},{"key":"ref1","first-page":"329","article-title":"Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems","volume":"2218","author":"rowstron","year":"2001","journal-title":"Int'l Conf on Distributed Systems Platforms (Middleware)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"}],"event":{"name":"2011 9th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011)","start":{"date-parts":[[2011,7,11]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2011,7,13]]}},"container-title":["Ninth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5959846\/5970502\/05970522.pdf?arnumber=5970522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T15:02:41Z","timestamp":1560438161000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5970522\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/memcod.2011.5970522","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}