{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T18:10:03Z","timestamp":1748369403049,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"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_41","type":"book-chapter","created":{"date-parts":[[2015,4,29]],"date-time":"2015-04-29T13:42:10Z","timestamp":1430314930000},"page":"711-727","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Online Task Planning and Control for Aerial Robots with Fuel Constraints in Winds"],"prefix":"10.1007","author":[{"given":"Chanyeol","family":"Yoo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Fitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salah","family":"Sukkarieh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,30]]},"reference":[{"key":"41_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"issue":"1","key":"41_CR2","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/MRA.2007.339624","volume":"14","author":"C Belta","year":"2007","unstructured":"Belta, C., Bicchi, A., Egerstedt, M., Frazzoli, E., Klavins, E., Pappas, G.: Symbolic planning and control of robot motion. IEEE Robot. Autom. Mag. 14(1), 61\u201370 (2007)","journal-title":"IEEE Robot. Autom. Mag."},{"issue":"3","key":"41_CR3","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."},{"issue":"5","key":"41_CR4","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1177\/0278364912473168","volume":"32","author":"Y Chen","year":"2013","unstructured":"Chen, Y., Tumova, J., Ulusoy, A., Belta, C.: Temporal logic robot control based on automata learning of environmental dynamics. Int. J. Robot. Res. 32(5), 547\u2013565 (2013)","journal-title":"Int. J. Robot. Res."},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"DeCastro, J., Kress-Gazit, H.: Guaranteeing reactive high-level behaviors for robots with complex dynamics. In: Proceedings of the IEEE\/RSJ IROS, pp. 749\u2013756 (2013)","DOI":"10.1109\/IROS.2013.6696435"},{"issue":"3","key":"41_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MRA.2011.942117","volume":"18","author":"X Ding","year":"2011","unstructured":"Ding, X., Kloetzer, M., Chen, Y., Belta, C.: Automatic deployment of robotic teams. IEEE Robot. Autom. Mag. 18(3), 75\u201386 (2011)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"Jing, G., Kress-Gazit, H.: Improving the continuous execution of reactive LTL-based controllers. In: Proceedings of the IEEE ICRA, pp. 5419\u20135425 (2013)","DOI":"10.1109\/ICRA.2013.6631357"},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"Kress-Gazit, H.: Ensuring correct behavior: formal methods for hardware and software systems [Special Issue]. IEEE Robot. Autom. Mag. 18(3) (2011)","DOI":"10.1109\/MRA.2011.942116"},{"issue":"6","key":"41_CR9","doi-asserted-by":"publisher","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","volume":"25","author":"H Kress-Gazit","year":"2009","unstructured":"Kress-Gazit, H., Fainekos, G., Pappas, G.: Temporal-logic-based reactive mission and motion planning. IEEE Trans. Robot. 25(6), 1370\u20131381 (2009)","journal-title":"IEEE Trans. Robot."},{"issue":"3","key":"41_CR10","doi-asserted-by":"publisher","first-page":"719","DOI":"10.2514\/1.52236","volume":"34","author":"NR Lawrance","year":"2011","unstructured":"Lawrance, N.R., Sukkarieh, S.: Autonomous exploration of a wind field with a gliding aircraft. J. Guid. Control. Dyn. 34(3), 719\u2013733 (2011)","journal-title":"J. Guid. Control. Dyn."},{"issue":"3","key":"41_CR11","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1287\/moor.12.3.441","volume":"12","author":"CH Papadimitriou","year":"1987","unstructured":"Papadimitriou, C.H., Tsitsiklis, J.N.: The complexity of Markov decision processes. Math. Oper. Res. 12(3), 441\u2013450 (1987)","journal-title":"Math. Oper. Res."},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proceedings of ACM Symposium on Principles of Programming Languages, pp. 179\u2013190, ACM Press (1989)","DOI":"10.1145\/75277.75293"},{"key":"41_CR13","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosnert, R.: Distributed reactive systems are hard to synthesize. In: Proceedings of the IEEE FOCS, pp. 746\u2013757 (1990)","DOI":"10.1109\/FSCS.1990.89597"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the IEEE FOCS, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"issue":"14","key":"41_CR15","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1177\/0278364911417911","volume":"30","author":"SL Smith","year":"2011","unstructured":"Smith, S.L., Tumova, J., Belta, C., Rus, D.: Optimal path planning for surveillance with temporal-logic constraints. Int. J. Robot. Res. 30(14), 1695\u20131708 (2011)","journal-title":"Int. J. Robot. Res."},{"key":"41_CR16","doi-asserted-by":"crossref","unstructured":"Ulusoy, A., Marrazzo, M., Oikonomopoulos, K., Hunter, R., Belta, C.: Temporal logic control for an autonomous quadrotor in a nondeterministic environment. In: Proceedings of the IEEE ICRA, pp. 331\u2013336 (2013)","DOI":"10.1109\/ICRA.2013.6630596"},{"key":"41_CR17","doi-asserted-by":"crossref","unstructured":"Wolff, E.M., Topcu, U., Murray, R.M.: Efficient reactive controller synthesis for a fragment of linear temporal logic. In: Proceedings of the IEEE ICRA, pp. 5018\u20135025 (2013)","DOI":"10.1109\/ICRA.2013.6631296"},{"key":"41_CR18","doi-asserted-by":"crossref","unstructured":"Wolff, E.M., Topcu, U., Murray, R.M.: Optimal control with weighted average costs and temporal logic specifications. In: Proceedings of the RSS, (2012)","DOI":"10.15607\/RSS.2012.VIII.057"},{"key":"41_CR19","doi-asserted-by":"crossref","unstructured":"Yoo, C., Fitch, R., Sukkarieh, S.: Probabilistic temporal logic for motion planning with resource threshold constraints. In: Proceedings of RSS (2012)","DOI":"10.15607\/RSS.2012.VIII.058"},{"key":"41_CR20","doi-asserted-by":"crossref","unstructured":"Yoo, C., Fitch, R., Sukkarieh, S.: Provably-correct stochastic motion planning with safety constraints. In: Proceedings of IEEE ICRA, pp. 981\u2013986 (2013)","DOI":"10.1109\/ICRA.2013.6630692"}],"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_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T17:33:37Z","timestamp":1748367217000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-16595-0_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319165943","9783319165950"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16595-0_41","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"}}]}}