{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T14:56:05Z","timestamp":1761663365210,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,14]],"date-time":"2015-04-14T00:00:00Z","timestamp":1428969600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Czech Ministry of Education, Youth and Sports","award":["LH11065"],"award-info":[{"award-number":["LH11065"]}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P23499- N23, NFN S11407-N23 (RiSE)"],"award-info":[{"award-number":["P23499- N23, NFN S11407-N23 (RiSE)"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["Start grant (279307: Graph Games)"],"award-info":[{"award-number":["Start grant (279307: Graph Games)"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["MURI N00014-10-10952"],"award-info":[{"award-number":["MURI N00014-10-10952"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["NRI-1426907"],"award-info":[{"award-number":["NRI-1426907"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,4,14]]},"DOI":"10.1145\/2728606.2728617","type":"proceedings-article","created":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T18:13:36Z","timestamp":1430504016000},"page":"233-238","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Temporal logic motion planning using POMDPs with parity objectives"],"prefix":"10.1145","author":[{"given":"M\u00e1ria","family":"Svore\u0148ov\u00e1","sequence":"first","affiliation":[{"name":"Masaryk University, Brno, Czech republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Chmel\u00edk","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Leahy","sequence":"additional","affiliation":[{"name":"Boston University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasan Ferit","family":"Eniser","sequence":"additional","affiliation":[{"name":"Bogazici University, Istanbul, Turkey"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krishnendu","family":"Chatterjee","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivana","family":"\u010cern\u00e1","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[{"name":"Boston University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,4,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2108242.2108243"},{"key":"e_1_3_2_1_2_1","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J.-P. Katoen . Principles of Model Checking . MIT Press , 2008 . C. Baier and J.-P. Katoen. Principles of Model Checking. MIT Press, 2008."},{"issue":"11","key":"e_1_3_2_1_3_1","volume":"54","author":"Brooks A.","year":"2006","unstructured":"A. Brooks , A. Makarenko , S. Williams , and H. Durrant-Whyte . Parametric POMDPs for planning in continuous state spaces. J. RAS , 54 ( 11 ), 2006 . A. Brooks, A. Makarenko, S. Williams, and H. Durrant-Whyte. Parametric POMDPs for planning in continuous state spaces. J. RAS, 54(11), 2006.","journal-title":"J. RAS"},{"key":"e_1_3_2_1_4_1","volume-title":"Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. CoRR, abs\/1409.3360","author":"Chatterjee K.","year":"2014","unstructured":"K. Chatterjee , M. Chmelik , R. Gupta , and A. Kanodia . Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. CoRR, abs\/1409.3360 , 2014 . K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. CoRR, abs\/1409.3360, 2014."},{"key":"e_1_3_2_1_5_1","volume-title":"CSL","author":"Chatterjee K.","year":"2013","unstructured":"K. Chatterjee , M. Chmelik , and M. Tracol . What is Decidable about Partially Observable Markov Decision Processes with \u03c9-Regular Objectives . In CSL , 2013 . K. Chatterjee, M. Chmelik, and M. Tracol. What is Decidable about Partially Observable Markov Decision Processes with \u03c9-Regular Objectives. In CSL, 2013."},{"key":"e_1_3_2_1_6_1","volume-title":"Model checking","author":"Clarke E.","year":"1999","unstructured":"E. Clarke , O. Grumberg , and D. Peled . Model checking . MIT press , 1999 . E. Clarke, O. Grumberg, and D. Peled. Model checking. MIT press, 1999."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.364201"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2008.4543611"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/0222067"},{"key":"e_1_3_2_1_10_1","volume-title":"SARSOP: Efficient point-based POMDP planning by approximating optimally reachable belief spaces","author":"Kurniawati H.","year":"2008","unstructured":"H. Kurniawati , D. Hsu , and W. Lee . SARSOP: Efficient point-based POMDP planning by approximating optimally reachable belief spaces . In Robotics : Science and Systems , 2008 . H. Kurniawati, D. Hsu, and W. Lee. SARSOP: Efficient point-based POMDP planning by approximating optimally reachable belief spaces. In Robotics: Science and Systems, 2008."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.12.3.441"},{"key":"e_1_3_2_1_12_1","volume-title":"IJCAI","author":"Pineau J.","year":"2003","unstructured":"J. Pineau , G. Gordon , and S. Thrun . Point-based value iteration: An anytime algorithm for POMDPs . In IJCAI , 2003 . J. Pineau, G. Gordon, and S. Thrun. Point-based value iteration: An anytime algorithm for POMDPs. In IJCAI, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.28"},{"key":"e_1_3_2_1_14_1","volume-title":"NIPS","author":"Roy N.","year":"1999","unstructured":"N. Roy and S. Thrun . Coastal Navigation with Mobile Robots . In NIPS , 1999 . N. Roy and S. Thrun. Coastal Navigation with Mobile Robots. In NIPS, 1999."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1988.21948"},{"key":"e_1_3_2_1_16_1","volume-title":"ICAPS","author":"Shani G.","year":"2008","unstructured":"G. Shani , P. Poupart , R. I. Brafman , and S. E. Shimony . Efficient ADD Operations for Point-Based Algorithms . In ICAPS , 2008 . G. Shani, P. Poupart, R. I. Brafman, and S. E. Shimony. Efficient ADD Operations for Point-Based Algorithms. In ICAPS, 2008."},{"key":"e_1_3_2_1_17_1","volume-title":"UAI","author":"Smith T.","year":"2005","unstructured":"T. Smith and R. Simmons . Point-Based POMDP Algorithms: Improved Analysis and Implementation . In UAI , 2005 . T. Smith and R. Simmons. Point-Based POMDP Algorithms: Improved Analysis and Implementation. In UAI, 2005."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1307420"},{"key":"e_1_3_2_1_19_1","volume-title":"Probabilistic robotics","author":"Thrun S.","year":"2005","unstructured":"S. Thrun , W. Burgard , and D. Fox . Probabilistic robotics . MIT Press , 2005 . S. Thrun, W. Burgard, and D. Fox. Probabilistic robotics. MIT Press, 2005."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.12"}],"event":{"name":"HSCC '15: 18th International Conference on Hybrid Systems: Computation and Control","sponsor":["IEEE-CSS Control Systems Society","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Seattle Washington","acronym":"HSCC '15"},"container-title":["Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2728606.2728617","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2728606.2728617","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:32Z","timestamp":1750227392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2728606.2728617"}},"subtitle":["case study paper"],"short-title":[],"issued":{"date-parts":[[2015,4,14]]},"references-count":20,"alternative-id":["10.1145\/2728606.2728617","10.1145\/2728606"],"URL":"https:\/\/doi.org\/10.1145\/2728606.2728617","relation":{},"subject":[],"published":{"date-parts":[[2015,4,14]]},"assertion":[{"value":"2015-04-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}