{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:40:08Z","timestamp":1750815608573,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319671123"},{"type":"electronic","value":"9783319671130"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67113-0_9","type":"book-chapter","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T04:21:24Z","timestamp":1503548484000},"page":"134-149","source":"Crossref","is-referenced-by-count":2,"title":["Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information"],"prefix":"10.1007","author":[{"given":"Felipe J.","family":"Montana","sequence":"first","affiliation":[]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Tony J.","family":"Dodd","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,25]]},"reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1177\/0278364913501564","volume":"33","author":"AA Agha-Mohammadi","year":"2014","unstructured":"Agha-Mohammadi, A.A., Chakravorty, S., Amato, N.M.: FIRM: sampling-based feedback motion-planning under motion uncertainty and imperfect measurements. Int. J. Robot. Res. 33(2), 268\u2013304 (2014)","journal-title":"Int. J. Robot. Res."},{"doi-asserted-by":"crossref","unstructured":"Ayala, A.M., Andersson, S.B., Belta, C.: Temporal logic motion planning in unknown environments. In: Proceedings of IROS, pp. 5279\u20135284. IEEE (2013)","key":"9_CR2","DOI":"10.1109\/IROS.2013.6697120"},{"key":"9_CR3","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. In: Proceedings of FSTTCS, vol. 20, pp. 1\u201368. ACM (2006)","key":"9_CR4","DOI":"10.1145\/2000799.2000800"},{"doi-asserted-by":"crossref","unstructured":"Bry, A., Roy, N.: Rapidly-exploring random belief trees for motion planning under uncertainty. In: Proceedings of ICRA, pp. 723\u2013730. IEEE (2011)","key":"9_CR5","DOI":"10.1109\/ICRA.2011.5980508"},{"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: Procedings of ICRA, pp. 325\u2013330. IEEE (2015)","key":"9_CR6","DOI":"10.1109\/ICRA.2015.7139019"},{"key":"9_CR7","volume-title":"Introduction to Algorithms","author":"TH Cormen","year":"2009","unstructured":"Cormen, T.H.: Introduction to Algorithms. MIT press, Cambridge (2009)"},{"doi-asserted-by":"crossref","unstructured":"Fu, J., Topcu, U.: Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations. In: Proceedings of ACC, pp. 2408\u20132413. IEEE (2015)","key":"9_CR8","DOI":"10.1109\/ACC.2015.7171093"},{"doi-asserted-by":"crossref","unstructured":"Horowitz, M.B., Wolff, E.M., Murray, R.M.: A compositional approach to stochastic optimal control with co-safe temporal logic specifications. In: Proceedings of IROS, pp. 1466\u20131473. IEEE (2014)","key":"9_CR9","DOI":"10.1109\/IROS.2014.6942750"},{"doi-asserted-by":"crossref","unstructured":"Kallman, M., Mataric, M.: Motion planning using dynamic roadmaps. In: Proceedings of ICRA, vol. 5, pp. 4399\u20134404. IEEE (2004)","key":"9_CR10","DOI":"10.1109\/ROBOT.2004.1302410"},{"doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based motion planning with deterministic $$\\mu $$ -calculus specifications. In: Proceedings of CDC\/CCC, pp. 2222\u20132229. IEEE (2009)","key":"9_CR11","DOI":"10.1109\/CDC.2009.5400278"},{"issue":"4","key":"9_CR12","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1109\/70.508439","volume":"12","author":"LE Kavraki","year":"1996","unstructured":"Kavraki, L.E., Svestka, P., Latombe, J.C., Overmars, M.H.: Probabilistic roadmaps for path planning in high-dimensional configuration spaces. IEEE Trans. Robot. Autom. 12(4), 566\u2013580 (1996)","journal-title":"IEEE Trans. Robot. Autom."},{"unstructured":"Leven, P., Hutchinson, S.: Toward real-time path planning in changing environments. In: Algorithmic and Computational Robotics: New Directions, pp. 363\u2013376. A K Peters (2000)","key":"9_CR13"},{"unstructured":"Littman, M.L., Dean, T.L., Kaelbling, L.P.: On the complexity of solvingMarkov decision problems. In: Proceedings of UAI, pp. 394\u2013402. Morgan Kaufmann Publishers Inc. (1995)","key":"9_CR14"},{"doi-asserted-by":"crossref","unstructured":"Montana, F.J., Liu, J., Dodd, T.J.: Sampling-based stochastic optimal control with metric interval temporal logic specifications. In: Proceedings of CCA, pp. 767\u2013773. IEEE (2016)","key":"9_CR15","DOI":"10.1109\/CCA.2016.7587911"},{"unstructured":"Pineau, J., Gordon, G., Thrun, S., et al.: Point-based value iteration: An anytime algorithm for POMDPs. In: Proceedings of IJCAI, vol. 3, pp. 1025\u20131032 (2003)","key":"9_CR16"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-14743-2_25","volume-title":"Robotics Research","author":"S Prentice","year":"2010","unstructured":"Prentice, S., Roy, N.: The belief roadmap: efficient planning in linear POMDPs by factoring the covariance. In: Kaneko, M., Nakamura, Y. (eds.) Robotics Research, pp. 293\u2013305. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-14743-2_25"},{"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: Proceedings of HSCC, pp. 233\u2013238. ACM (2015)","key":"9_CR18","DOI":"10.1145\/2728606.2728617"},{"doi-asserted-by":"crossref","unstructured":"Vasile, C.I., Belta, C.: Reactive sampling-based temporal logic path planning. In: Proceedings of ICRA, pp. 4310\u20134315. IEEE (2014)","key":"9_CR19","DOI":"10.1109\/ICRA.2014.6907486"},{"doi-asserted-by":"crossref","unstructured":"Vasile, C.I., Leahy, K., Cristofalo, E., Jones, A., Schwager, M., Belta, C.: Control in belief space with temporal logic specifications. In: Proceedings of CDC, pp. 7419\u20137424. IEEE (2016)","key":"9_CR20","DOI":"10.1109\/CDC.2016.7799415"},{"doi-asserted-by":"crossref","unstructured":"Wongpiromsarn, T., Frazzoli, E.: Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications. In: Proceedings of CDC, pp. 7644\u20137651. IEEE (2012)","key":"9_CR21","DOI":"10.1109\/CDC.2012.6426524"}],"container-title":["Lecture Notes in Computer Science","Critical Systems: Formal Methods and Automated Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67113-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:10:44Z","timestamp":1750813844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67113-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319671123","9783319671130"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67113-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}