{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T19:12:26Z","timestamp":1775934746868,"version":"3.50.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319515311","type":"print"},{"value":"9783319515328","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,7,27]],"date-time":"2017-07-27T00:00:00Z","timestamp":1501113600000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-51532-8_28","type":"book-chapter","created":{"date-parts":[[2017,7,26]],"date-time":"2017-07-26T13:56:19Z","timestamp":1501077379000},"page":"459-476","source":"Crossref","is-referenced-by-count":20,"title":["Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems"],"prefix":"10.1007","author":[{"given":"Jonathan A.","family":"DeCastro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Alonso-Mora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasumathi","family":"Raman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Rus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,27]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Alonso-Mora, J., Gohl, P., Watson, S., Siegwart, R., Beardsley, P.: Shared control of autonomous vehicles based on velocity space optimization. In: 2014 IEEE International Conference on Robotics and Automation (ICRA), pp. 1639\u20131645 (2014)","DOI":"10.1109\/ICRA.2014.6907071"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Alonso-Mora, J., Naegeli, T., Siegwart, R., Beardsley, P.: Collision avoidance for multiple aerial vehicles. Auton. Robot. (2015)","DOI":"10.1007\/s10514-015-9429-0"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Moarref, S., Topcu, U.: Counter-strategy guided refinement of gr(1) temporal logic specifications. In: Formal Methods in Computer-Aided Design (FMCAD), pp. 26\u201333 (2013)","DOI":"10.1109\/FMCAD.2013.6679387"},{"issue":"3","key":"28_CR4","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1016\/j.jcss.2011.08.007","volume":"78","author":"R Bloem","year":"2012","unstructured":"Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Sa\u2019ar, Y.: Synthesis of reactive (1) designs. J. Comput. Syst. Sci. 78(3), 911\u2013938 (2012)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"28_CR5","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1109\/TRO.2011.2163434","volume":"28","author":"Y Chen","year":"2012","unstructured":"Chen, Y., Ding, X.C., Stefanescu, A., Belta, C.: Formal approach to the deployment of distributed robotic teams. IEEE Trans. Robot. 28(1), 158\u2013171 (2012)","journal-title":"IEEE Trans. Robot."},{"key":"28_CR6","unstructured":"DeCastro, J.A., Ehlers, R., Rungger, M., Balkan, A., Tabuada, P., Kress-Gazit, H.: Dynamics-based reactive synthesis and automated revisions for high-level robot control. In: CoRR (2014)"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Deits, R., Tedrake, R.: Computing large convex regions of obstacle-free space through semidefinite programming. In: Workshop on the Algorithmic Fundamentals of Robotics (2014)","DOI":"10.1007\/978-3-319-16595-0_7"},{"key":"28_CR8","unstructured":"Ehlers, R., Finucane, C., Raman, V.: Slugs gr(1) Synthesizer (2013). http:\/\/github.com\/ltlmop\/slugs"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Finucane, C., Jing, G., Kress-Gazit, H.: Ltlmop: Experimenting with language, temporal logic and robot control. In: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (2010)","DOI":"10.1109\/IROS.2010.5650371"},{"issue":"6","key":"28_CR10","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","volume":"25","author":"H Kress-Gazit","year":"2009","unstructured":"Kress-Gazit, H., Fainekos, G.E., Pappas, G.J.: Temporal logic based reactive mission and motion planning. IEEE Trans. Robot. 25(6), 1370\u20131381 (2009)","journal-title":"IEEE Trans. Robot."},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Li, W., Dworkin, L., Seshia, S.A.: Mining assumptions for synthesis. In: 9th IEEE\/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE (2011)","DOI":"10.1109\/MEMCOD.2011.5970509"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Livingston, S.C., Prabhakar, P., Jose, A.B., Murray, R.M.: Patching task-level robot controllers based on a local $$\\mu $$ \u03bc -calculus formula. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA). Karlsruhe, Germany (2013)","DOI":"10.1109\/ICRA.2013.6631229"},{"issue":"1","key":"28_CR13","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/TRO.2012.2214558","volume":"29","author":"V Raman","year":"2013","unstructured":"Raman, V., Kress-Gazit, H.: Explaining impossible high-level robot behaviors. IEEE Trans. Robot. 29(1), 94\u2013104 (2013). doi: 10.1109\/TRO.2012.2214558","journal-title":"IEEE Trans. Robot."},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Raman, V., Piterman, N., Kress-Gazit, H.: Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. In: IEEE International Conference on Robotics and Automation (2013)","DOI":"10.1109\/ICRA.2013.6631152"},{"issue":"8","key":"28_CR15","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1177\/0278364913487931","volume":"32","author":"A Ulusoy","year":"2013","unstructured":"Ulusoy, A., Smith, S.L., Ding, X.C., Belta, C., Rus, D.: Optimality and robustness in multi-robot path planning with temporal logic constraints. I. J. Robot. Res. 32(8), 889\u2013911 (2013)","journal-title":"I. J. Robot. Res."},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Logics for concurrency, pp. 238\u2013266. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-60915-6_6"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Wong, K.W., Ehlers, R., Kress-Gazit, H.: Correct high-level robot behavior in environments with unexpected events. In: Proceedings of Robotics: Science and Systems (2014)","DOI":"10.15607\/RSS.2014.X.012"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn, T., Ulusoy, A., Belta, C., Frazzoli, E., Rus, D.: Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications. In: IEEE International Conference on Robotics and Automation (ICRA) (2013)","DOI":"10.1109\/ICRA.2013.6631293"}],"container-title":["Springer Proceedings in Advanced Robotics","Robotics Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51532-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T13:08:28Z","timestamp":1569935308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51532-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,27]]},"ISBN":["9783319515311","9783319515328"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51532-8_28","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"value":"2511-1256","type":"print"},{"value":"2511-1264","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,27]]}}}