{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:23:23Z","timestamp":1729650203879,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/cdc.2015.7403399","type":"proceedings-article","created":{"date-parts":[[2016,2,29]],"date-time":"2016-02-29T16:32:44Z","timestamp":1456763564000},"page":"7470-7475","source":"Crossref","is-referenced-by-count":9,"title":["Learning based supervisor synthesis of POMDP for PCTL specifications"],"prefix":"10.1109","author":[{"given":"Xiaobin","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"211","article-title":"Solving pomdps by searching in policy space","author":"hansen","year":"1998","journal-title":"Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence"},{"key":"ref11","article-title":"Bounded finite state controllers","author":"poupart","year":"2003","journal-title":"Advances in neural information processing systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-009-9103-z"},{"article-title":"Formal methods for control synthesis in partially observed environments: application to autonomous robotic manipulation","year":"2014","author":"sharan","key":"ref13"},{"key":"ref14","volume":"300","author":"kumar","year":"2012","journal-title":"Modeling and Control of Logical Discrete Event Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171174"},{"key":"ref16","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":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_32"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1090\/crmm\/023","author":"rutten","year":"2004","journal-title":"Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1287\/opre.26.2.282"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(65)90154-X"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1613\/jair.761","article-title":"Speeding up the convergence of value iteration in partially observable markov decision processes","volume":"14","author":"zhang","year":"2001","journal-title":"Journal of Artificial Intelligence Research"},{"article-title":"Formal methods for control synthesis in partially observed environments: application to autonomous robotic manipulation","year":"1988","author":"cheng","key":"ref5"},{"key":"ref8","first-page":"417","article-title":"Solving pomdps by searching the space of finite policies","author":"meuleau","year":"1999","journal-title":"Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1613\/jair.2078","article-title":"Anytime point-based approximations for large pomdps","author":"pineau","year":"2006","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2006.1678135"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2428556.2428574"},{"key":"ref9","first-page":"427","article-title":"Learning finite-state controllers for partially observable environments","author":"meuleau","year":"1999","journal-title":"Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"}],"event":{"name":"2015 54th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2015,12,15]]},"location":"Osaka","end":{"date-parts":[[2015,12,18]]}},"container-title":["2015 54th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7396016\/7402066\/07403399.pdf?arnumber=7403399","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T23:49:23Z","timestamp":1567640963000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7403399\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cdc.2015.7403399","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}