{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T19:37:49Z","timestamp":1726083469141},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030440503"},{"type":"electronic","value":"9783030440510"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-44051-0_8","type":"book-chapter","created":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T20:02:40Z","timestamp":1588881760000},"page":"127-143","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives"],"prefix":"10.1007","author":[{"given":"Yue","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swarat","family":"Chaudhuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lydia E.","family":"Kavraki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"issue":"9","key":"8_CR1","doi-asserted-by":"publisher","first-page":"1288","DOI":"10.1177\/0278364914528255","volume":"33","author":"H Bai","year":"2014","unstructured":"Bai, H., Hsu, D., Lee, W.S.: Integrated perception and planning in the continuous space: a POMDP approach. Int. J. Robot. Res. 33(9), 1288\u20131302 (2014)","journal-title":"Int. J. Robot. Res."},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0065-2458(03)58003-2","volume":"58","author":"A Biere","year":"2003","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58, 117\u2013148 (2003)","journal-title":"Adv. Comput."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Cai, P., Luo, Y., Hsu, D., Lee, W.S.: HyP-DESPOT: a hybrid parallel algorithm for online planning under uncertainty. In: RSS (2018)","DOI":"10.15607\/RSS.2018.XIV.004"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Chmel\u00edk, M., Gupta, R., Kanodia, A.: Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. In: ICRA, pp. 325\u2013330 (2015)","DOI":"10.1109\/ICRA.2015.7139019"},{"issue":"C","key":"8_CR5","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.artint.2016.01.007","volume":"234","author":"K Chatterjee","year":"2016","unstructured":"Chatterjee, K., Chmel\u00edk, M., Gupta, R., Kanodia, A.: Optimal cost almost-sure reachability in POMDPs. Artif. Intell. 234(C), 26\u201348 (2016)","journal-title":"Artif. Intell."},{"issue":"5","key":"8_CR6","doi-asserted-by":"publisher","first-page":"878","DOI":"10.1016\/j.jcss.2016.02.009","volume":"82","author":"K Chatterjee","year":"2016","unstructured":"Chatterjee, K., Chmel\u00edk, M., Tracol, M.: What is decidable about partially observable Markov decision processes with $$\\omega $$-regular objectives. J. Comput. Syst. Sci. 82(5), 878\u2013911 (2016)","journal-title":"J. Comput. Syst. Sci."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"DeMoura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: TACAS, pp. 337\u2013340 (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Hadfield-Menell, D., Groshev, E., Chitnis, R., Abbeel, P.: Modular task and motion planning in belief space. In: IROS, pp. 4991\u20134998 (2015)","DOI":"10.1109\/IROS.2015.7354079"},{"key":"8_CR9","unstructured":"Hoey, J., Poupart, P.: Solving POMDPs with continuous or large discrete observation spaces. In: IJCAI, pp. 1332\u20131338 (2005)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Hou, P., Yeoh, W., Varakantham, P.: Solving risk-sensitive POMDPs with and without cost observations. In: AAAI, pp. 3138\u20133144 (2016)","DOI":"10.1609\/aaai.v30i1.10402"},{"key":"8_CR11","unstructured":"Isom, J.D., Meyn, S.P., Braatz, R.D.: Piecewise linear dynamic programming for constrained POMDPs. In: AAAI, pp. 291\u2013296 (2008)"},{"issue":"1\u20132","key":"8_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0004-3702(98)00023-X","volume":"101","author":"LP Kaelbling","year":"1998","unstructured":"Kaelbling, L.P., Littman, M.L., Cassandra, A.R.: Planning and acting in partially observable stochastic domains. Artif. Intell. 101(1\u20132), 99\u2013134 (1998)","journal-title":"Artif. Intell."},{"issue":"9\u201310","key":"8_CR13","doi-asserted-by":"publisher","first-page":"1194","DOI":"10.1177\/0278364913484072","volume":"32","author":"LP Kaelbling","year":"2013","unstructured":"Kaelbling, L.P., Lozano-P\u00e9rez, T.: Integrated task and motion planning in belief space. Int. J. Robot. Res. 32(9\u201310), 1194\u20131227 (2013)","journal-title":"Int. J. Robot. Res."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Kaelbling, L.P., Lozano-P\u00e9rez, T.: Implicit belief-space pre-images for hierarchical planning and execution. In: ICRA, pp. 5455\u20135462 (2016)","DOI":"10.1109\/ICRA.2016.7487758"},{"key":"8_CR15","unstructured":"Kim, D., Lee, J., Kim, K.E., Poupart, P.: Point-based value iteration for constrained POMDPs. In: IJCAI, pp. 1968\u20131974 (2011)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Kurniawati, H., Hsu, D., Lee, W.S.: SARSOP: efficient point-based POMDP planning by approximating optimally reachable belief spaces. In: RSS (2008)","DOI":"10.15607\/RSS.2008.IV.009"},{"key":"8_CR17","unstructured":"Luo, Y., Bai, H., Hsu, D., Lee, W.S.: Importance sampling for online planning under uncertainty. In: WAFR (2016)"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(02)00378-8","volume":"147","author":"O Madani","year":"2003","unstructured":"Madani, O., Hanks, S., Condon, A.: On the undecidability of probabilistic planning and related stochastic optimization problems. Artif. Intell. 147, 5\u201334 (2003)","journal-title":"Artif. Intell."},{"key":"8_CR19","unstructured":"Marecki, J., Varakantham, P.: Risk-sensitive planning in partially observable environments. In: AAMAS, pp. 1357\u20131368 (2010)"},{"issue":"4","key":"8_CR20","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1145\/347476.347480","volume":"47","author":"M Mundhenk","year":"2000","unstructured":"Mundhenk, M., Goldsmith, J., Lusena, C., Allender, E.: Complexity of finite-horizon Markov decision process problems. J. ACM 47(4), 681\u2013720 (2000)","journal-title":"J. ACM"},{"issue":"3","key":"8_CR21","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1287\/moor.12.3.441","volume":"12","author":"C Papadimitriou","year":"1987","unstructured":"Papadimitriou, C., Tsitsiklis, J.N.: The complexity of Markov decision processes. Math. Oper. Res. 12(3), 441\u2013450 (1987)","journal-title":"Math. Oper. Res."},{"key":"8_CR22","volume-title":"Introduction to Probabilistic Automata","author":"A Paz","year":"1971","unstructured":"Paz, A.: Introduction to Probabilistic Automata. Academic Press Inc., Cambridge (1971)"},{"key":"8_CR23","unstructured":"Pineau, J., Gordon, G., Thrun, S.: Point-based value iteration: an anytime algorithm for POMDPs. In: IJCAI, pp. 1025\u20131030 (2003)"},{"key":"8_CR24","first-page":"2329","volume":"7","author":"JM Porta","year":"2006","unstructured":"Porta, J.M., Vlassis, N., Spaan, M.T.J., Poupart, P.: Point-based value iteration for continuous POMDPs. J. Mach. Learn. Res. 7, 2329\u20132367 (2006)","journal-title":"J. Mach. Learn. Res."},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Poupart, P., Malhotra, A., Pei, P., Kim, K.E., Goh, B., Bowling, M.: Approximate linear programming for constrained partially observable Markov decision processes. In: AAAI, pp. 3342\u20133348 (2015)","DOI":"10.1609\/aaai.v29i1.9655"},{"issue":"1","key":"8_CR26","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1613\/jair.2567","volume":"32","author":"S Ross","year":"2008","unstructured":"Ross, S., Pineau, J., Paquet, S., Chaib-Draa, B.: Online planning algorithms for POMDPs. J. Artif. Intell. Res. 32(1), 663\u2013704 (2008)","journal-title":"J. Artif. Intell. Res."},{"key":"8_CR27","unstructured":"Santana, P., Thi\u00e9baux, S., Williams, B.: RAO*: an algorithm for chance-constrained POMDP\u2019s. In: AAAI, pp. 3308\u20133314 (2016)"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Seiler, K.M., Kurniawati, H., Singh, S.P.N.: An online and approximate solver for POMDPs with continuous action space. In: ICRA, pp. 2290\u20132297 (2015)","DOI":"10.1109\/ICRA.2015.7139503"},{"issue":"5","key":"8_CR29","doi-asserted-by":"publisher","first-page":"1071","DOI":"10.1287\/opre.21.5.1071","volume":"21","author":"RD Smallwood","year":"1973","unstructured":"Smallwood, R.D., Sondik, E.J.: The optimal control of partially observable Markov processes over a finite horizon. Oper. Res. 21(5), 1071\u20131088 (1973)","journal-title":"Oper. Res."},{"key":"8_CR30","unstructured":"Somani, A., Ye, N., Hsu, D., Lee, W.S.: DESPOT: online POMDP planning with regularization. In: NIPS, pp. 1772\u20131780 (2013)"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Svore\u0148ov\u00e1, M., Chmel\u00edk, M., Leahy, K., Eniser, H.F., Chatterjee, K., \u010cern\u00e1, I., Belta, C.: Temporal logic motion planning using POMDPs with parity objectives: case study paper. In: HSCC, pp. 233\u2013238 (2015)","DOI":"10.1145\/2728606.2728617"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Undurti, A., How, J.P.: An online algorithm for constrained POMDPs. In: ICRA, pp. 3966\u20133973 (2010)","DOI":"10.1109\/ROBOT.2010.5509743"},{"key":"8_CR33","unstructured":"Wang, Y., Chaudhuri, S., Kavraki, L.E.: Bounded policy synthesis for POMDPs with safe-reachability objectives. In: AAMAS, pp. 238\u2013246 (2018)"}],"container-title":["Springer Proceedings in Advanced Robotics","Algorithmic Foundations of Robotics XIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-44051-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T07:58:21Z","timestamp":1666511901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-44051-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030440503","9783030440510"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-44051-0_8","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"type":"print","value":"2511-1256"},{"type":"electronic","value":"2511-1264"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WAFR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on the Algorithmic Foundations of Robotics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Merida","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Mexico","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 December 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wafr2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/parasol.tamu.edu\/wafr\/wafr2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}