{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:27:26Z","timestamp":1730204846758,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/cdc.2017.8263971","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T15:30:57Z","timestamp":1516721457000},"page":"2201-2208","source":"Crossref","is-referenced-by-count":13,"title":["Motion planning under partial observability using game-based abstraction"],"prefix":"10.1109","author":[{"given":"Leonore","family":"Winterer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Junges","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nils","family":"Jansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_38"},{"journal-title":"Introduction to Stochastic Dynamic Programming","year":"1983","author":"ross","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90048-K"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref30"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11936-6_11"},{"key":"ref10","first-page":"251","article-title":"Verification and refutation of probabilistic specifications via games","volume":"4","author":"kattenbelt","year":"2009","journal-title":"FSTTCS ser LIPIcs"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-010-0097-6"},{"key":"ref12","first-page":"172","article-title":"Abstraction-based compuation of reward measures for Markov automata","volume":"8931","author":"braitling","year":"2015","journal-title":"VMCAI Ser LNCS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2016.02.009"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-017-9269-4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16595-0_30"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363984"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980508"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799415"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17452-0_12"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2579821"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426524"},{"key":"ref27","article-title":"Counterexample-guided abstraction refinement for POMDPs","volume":"absi1701 6209","author":"zhang","year":"2017","journal-title":"CoRR"},{"journal-title":"Probabilistic Robotics","year":"2005","author":"thrun","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934574"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2016.04.009"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-012-9200-2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"ref7","first-page":"585","article-title":"PRISM 4. 0: Verification of probabilistic real-time systems","volume":"6806","author":"kwiatkowska","year":"2011","journal-title":"CAY ser LNCS"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_13"},{"journal-title":"Dynamic Programming and Markov Processes","year":"1960","author":"howard","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980257"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139019"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2015.2441511"},{"key":"ref24","first-page":"519","article-title":"Discretized approximations for POMDP with average cost","author":"yu","year":"2004","journal-title":"VAl"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2016.01.007"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798365"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_26"}],"event":{"name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2017,12,12]]},"location":"Melbourne, Australia","end":{"date-parts":[[2017,12,15]]}},"container-title":["2017 IEEE 56th Annual Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8253407\/8263624\/08263971.pdf?arnumber=8263971","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,28]],"date-time":"2018-02-28T16:52:44Z","timestamp":1519836764000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8263971\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/cdc.2017.8263971","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}