{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,31]],"date-time":"2025-07-31T00:32:34Z","timestamp":1753921954785,"version":"3.41.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319165943"},{"type":"electronic","value":"9783319165950"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16595-0_20","type":"book-chapter","created":{"date-parts":[[2015,4,29]],"date-time":"2015-04-29T13:42:10Z","timestamp":1430314930000},"page":"335-352","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Asymptotically Optimal Stochastic Motion Planning with Temporal Goals"],"prefix":"10.1007","author":[{"given":"Ryan","family":"Luna","sequence":"first","affiliation":[]},{"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Moll","sequence":"additional","affiliation":[]},{"given":"Lydia E.","family":"Kavraki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,30]]},"reference":[{"issue":"3","key":"20_CR1","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.Y.: Model checking of safety properties. Form. Methods Syst. Des. 19(3), 291\u2013314 (2001)","journal-title":"Form. Methods Syst. Des."},{"key":"20_CR2","volume-title":"Probabilistic Robotics","author":"S Thrun","year":"2005","unstructured":"Thrun, S., Burgard, W., Fox, D.: Probabilistic Robotics. MIT Press, Cambridge (2005)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Kress-Gazit, H., Pappas, G.J.: Temporal logic motion planning for mobile robots. In: IEEE International Conference on Robotics and Automation, pp. 2020\u20132025 (2005)","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"20_CR4","unstructured":"Gazit, H.K., Fainekos, G., Pappas, G.J.: Where\u2019s Waldo? Sensor-based temporal logic motion planning. In: IEEE International Conference on Robotics and Automation, pp. 3116\u20133121 (2007)"},{"issue":"1","key":"20_CR5","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1109\/TAC.2007.914952","volume":"53","author":"M Kloetzer","year":"2008","unstructured":"Kloetzer, M., Belta, C.: A fully automated framework for control of linear systems from temporal logic specifications. IEEE Trans. Autom. Control 53(1), 287\u2013297 (2008)","journal-title":"IEEE Trans. Autom. Control"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn, T., Topcu, U., Murray, R.M.: Receding horizon control for temporal logic specifications. In: International Conference on Hybrid Systems: Computation and Control, pp. 101\u2013110 (2010)","DOI":"10.1145\/1755952.1755968"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Kavraki, L., Vardi, M.: Motion planning with hybrid dynamics and temporal goals. In: IEEE Conference on Decision and Control, pp. 1108\u20131115 (2010)","DOI":"10.1109\/CDC.2010.5717440"},{"issue":"3","key":"20_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/MRA.2011.942115","volume":"18","author":"A Bhatia","year":"2011","unstructured":"Bhatia, A., Maly, M., Kavraki, L., Vardi, M.: Motion planning with complex goals. IEEE Robot. Autom. Mag. 18(3), 55\u201364 (2011)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based algorithms for optimal motion planning with deterministic $$\\mu $$-calculus specifications. In: American Control Conference, pp. 735\u2013742 (2012)","DOI":"10.1109\/ACC.2012.6315419"},{"issue":"4","key":"20_CR10","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10009-012-0233-2","volume":"15","author":"E Plaku","year":"2013","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: Falsification of LTL safety properties in hybrid systems. Softw. Tools Technol. Transf. 15(4), 305\u2013320 (2013)","journal-title":"Softw. Tools Technol. Transf."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Alterovitz, R., Sim\u00e9on, T., Goldberg, K.: The stochastic motion roadmap: a sampling framework for planning with Markov motion uncertainty. In: Robotics: Science and Systems, pp. 246\u2013253 (2007)","DOI":"10.15607\/RSS.2007.III.030"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Huynh, V.A., Karaman, S., Frazzoli, E.: An incremental sampling-based algorithm for stochastic optimal control. In: IEEE International Conference on Robotics and Automation, pp. 2865\u20132872 (2012)","DOI":"10.1109\/ICRA.2012.6225158"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Luna, R., Lahijanian, M., Moll, M., Kavraki, L.E.: Fast stochastic motion planning with optimality guarantees using local policy reconfiguration. In: IEEE International Conference on Robotics and Automation, pp. 3013\u20133019 (2014)","DOI":"10.1109\/ICRA.2014.6907293"},{"key":"20_CR14","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"3","key":"20_CR15","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/MRA.2011.942116","volume":"18","author":"H Kress-Gazit","year":"2011","unstructured":"Kress-Gazit, H., Wongpiromsarn, T., Topcu, U.: Correct, reactive robot control from abstraction and temporal logic specifications. IEEE Robot. Autom. Mag. 18(3), 65\u201374 (2011)","journal-title":"IEEE Robot. Autom. Mag."},{"issue":"3","key":"20_CR16","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MRA.2011.942117","volume":"18","author":"XC Ding","year":"2011","unstructured":"Ding, X.C., Kloetzer, M., Chen, Y., Belta, C.: Formal methods for automatic deployment of robotic teams. IEEE Robot. Autom. Mag. 18(3), 75\u201386 (2011)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"DeCastro, J.A., Kress-Gazit, H.: Guaranteeing reactive high-level behaviors for robots with complex dynamics. In: IEEE\/RSJ International Conference on Intelligent Robotics and Systems, pp. 749\u2013756 (2013)","DOI":"10.1109\/IROS.2013.6696435"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Vasile, C., Belta, C.: Sampling-based temporal logic path planning. In: IEEE\/RSJ International Conference on Intelligent Robotics and Systems, pp. 4817\u20134822 (2013)","DOI":"10.1109\/IROS.2013.6697051"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Maly, M.R., Lahijanian, M., Kavraki, L.E., Kress-Gazit, H., Vardi, M.Y.: Iterative temporal motion planning for hybrid systems in partially unknown environments. In: International Conference on Hybrid Systems: Computation and Control, pp. 353\u2013362 (2013)","DOI":"10.1145\/2461328.2461380"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Ding, X.C., Smith, S.L., Belta, C., Rus, D.: MDP optimal control under temporal logic constraints. In: IEEE Conference on Decision and Control, pp. 532\u2013538 (2011)","DOI":"10.1109\/CDC.2011.6161122"},{"issue":"2","key":"20_CR21","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1109\/TRO.2011.2172150","volume":"28","author":"M Lahijanian","year":"2012","unstructured":"Lahijanian, M., Andersson, S.B., Belta, C.: Temporal logic motion planning and control with probabilistic satisfaction guarantees. IEEE Trans. Robot. 28(2), 396\u2013409 (2012)","journal-title":"IEEE Trans. Robot."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Wolff, E.M., Topcu, U., Murray, R.M.: Robust control of uncertain Markov decision processes with temporal logic specifications. In: IEEE Conference on Decision and Control, pp. 3372\u20133379 (2012)","DOI":"10.1109\/CDC.2012.6426174"},{"key":"20_CR23","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0004-3702(00)00047-3","volume":"122","author":"R Givan","year":"2000","unstructured":"Givan, R., Leach, S., Dean, T.: Bounded-parameter Markov decision processes. Artif. Intell. 122, 71\u2013109 (2000)","journal-title":"Artif. Intell."},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Luna, R., Lahijanian, M., Moll, M., Kavraki, L.E.: Optimal and efficient stochastic motion planning in partially-known environments. In: AAAI Conference on Artificial Intelligence (2014)","DOI":"10.1609\/aaai.v28i1.9054"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Kushner, H.J., Dupuis, P.: Numerical Methods for Stochastic Control Problems in Continuous Time, vol. 24. Springer, New York (2001)","DOI":"10.1007\/978-1-4613-0007-6"},{"issue":"1\u20133","key":"20_CR26","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0925-7721(01)00047-5","volume":"22","author":"JR Shewchuk","year":"2002","unstructured":"Shewchuk, J.R.: Delaunay refinement algorithms for triangular mesh generation. Comput. Geom. 22(1\u20133), 21\u201374 (2002)","journal-title":"Comput. Geom."},{"key":"20_CR27","unstructured":"Kemeny, J.G., Snell, J.L.: Finite Markov Chains. Springer, New York (1976)"},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Duret-Lutz, A., Poitrenaud, D.: Spot: an extensible model checking library using transition-based generalized B\u00fcchi automata. In: IEEE\/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, pp. 76\u201383 (2004)","DOI":"10.1109\/MASCOT.2004.1348184"},{"key":"20_CR29","unstructured":"de Alfaro, L.: Formal Verification of Probabilistic Systems. Ph.D. thesis, Stanford University (1997)"},{"issue":"8\u20139","key":"20_CR30","doi-asserted-by":"publisher","first-page":"945","DOI":"10.1016\/j.artint.2007.12.002","volume":"172","author":"D Wu","year":"2008","unstructured":"Wu, D., Koutsoukos, X.: Reachability analysis of uncertain systems using bounded-parameter Markov decision processes. Artif. Intell. 172(8\u20139), 945\u2013954 (2008)","journal-title":"Artif. Intell."},{"key":"20_CR31","doi-asserted-by":"crossref","unstructured":"Freidlin, M.: Functional Integration and Partial Differential Equations. Princeton University Press, Princeton (1985)","DOI":"10.1515\/9781400881598"}],"container-title":["Springer Tracts in Advanced Robotics","Algorithmic Foundations of Robotics XI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16595-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T17:33:55Z","timestamp":1748367235000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-16595-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319165943","9783319165950"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16595-0_20","relation":{},"ISSN":["1610-7438","1610-742X"],"issn-type":[{"type":"print","value":"1610-7438"},{"type":"electronic","value":"1610-742X"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"30 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}