{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:46:31Z","timestamp":1729665991292,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/acc.2015.7171174","type":"proceedings-article","created":{"date-parts":[[2015,7,30]],"date-time":"2015-07-30T17:26:01Z","timestamp":1438277161000},"page":"2894-2899","source":"Crossref","is-referenced-by-count":8,"title":["Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning"],"prefix":"10.1109","author":[{"given":"Bo","family":"Wu","sequence":"first","affiliation":[]},{"given":"Hai","family":"Lin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"531","article-title":"Permissive controller synthesis for probabilistic systems","author":"dr\u00e4ger","year":"2014","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1090\/crmm\/023","author":"rutten","year":"2004","journal-title":"Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"Prism 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Computer Aided Verification"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1021"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225075"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.94"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07317-0_3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298143"},{"key":"ref3","first-page":"3515","article-title":"Ltl control in uncertain environments with probabilistic satisfaction guarantees","volume":"18","author":"ding","year":"2011","journal-title":"world congress"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/9780470400531.eorms0714"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.10.008"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1142\/S2301385014300029"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040212"}],"event":{"name":"2015 American Control Conference (ACC)","start":{"date-parts":[[2015,7,1]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2015,7,3]]}},"container-title":["2015 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7160954\/7170700\/07171174.pdf?arnumber=7171174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T18:48:42Z","timestamp":1567018122000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7171174\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/acc.2015.7171174","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}