{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T19:12:22Z","timestamp":1775934742811,"version":"3.50.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T00:00:00Z","timestamp":1502496000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T00:00:00Z","timestamp":1502496000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["NSF Expeditions in Computer Augmented Program Engineering"],"award-info":[{"award-number":["NSF Expeditions in Computer Augmented Program Engineering"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-12-1-1000"],"award-info":[{"award-number":["N00014-12-1-1000"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-09-1051"],"award-info":[{"award-number":["N00014-09-1051"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000003","name":"Boeing","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000003","id-type":"DOI","asserted-by":"publisher"}]},{"name":"starnet","award":["TerraSwarm"],"award-info":[{"award-number":["TerraSwarm"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Robot"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1007\/s10514-017-9665-6","type":"journal-article","created":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T03:27:20Z","timestamp":1502508440000},"page":"801-824","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":60,"title":["Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles"],"prefix":"10.1007","volume":"42","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0058-570X","authenticated-orcid":false,"given":"Javier","family":"Alonso-Mora","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan A.","family":"DeCastro","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,8,12]]},"reference":[{"key":"9665_CR1","unstructured":"Alonso-Mora, J., Breitenmoser, A., Rufli, M., Beardsley, P., & Siegwart, R. (2010). Optimal reciprocal collision avoidance for multiple non-holonomic robots. In Proceedings of the international symposium on distributed autonomous robotics systems."},{"key":"9665_CR2","doi-asserted-by":"crossref","unstructured":"Alonso-Mora, J., Gohl, P., Watson, S., Siegwart, R., & Beardsley, P. (2014). Shared control of autonomous vehicles based on velocity space optimization. In IEEE international conference on robotics and automation (ICRA).","DOI":"10.1109\/ICRA.2014.6907071"},{"issue":"1","key":"9665_CR3","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10514-015-9429-0","volume":"39","author":"J Alonso-Mora","year":"2015","unstructured":"Alonso-Mora, J., Naegeli, T., Siegwart, R., & Beardsley, P. (2015). Collision avoidance for aerial vehicles in multi-agent scenarios. Autonomous Robots, 39(1), 101\u2013121.","journal-title":"Autonomous Robots"},{"key":"9665_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Moarref, S., & Topcu, U. (2013). Counter-strategy guided refinement of GR(1) temporal logic specifications. In Formal methods in computer-aided design (FMCAD) (pp. 26\u201333).","DOI":"10.1109\/FMCAD.2013.6679387"},{"key":"9665_CR5","unstructured":"Bento, J., Derbinsky, N., Alonso-Mora, J., & Yedidia, J. S. (2013). A message-passing algorithm for multi-agent trajectory planning. In Annual conference on neural information processing systems (NIPS)."},{"key":"9665_CR6","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Kavraki, L., & Vardi, M. (2010). Sampling-based motion planning with temporal goals. In IEEE international conference on robotics and automation (ICRA).","DOI":"10.1109\/ROBOT.2010.5509503"},{"issue":"3","key":"9665_CR7","doi-asserted-by":"publisher","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. (2012). Synthesis of reactive (1) designs. Journal of Computer and System Sciences, 78(3), 911\u2013938.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"9665_CR8","doi-asserted-by":"publisher","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. (2012). Formal approach to the deployment of distributed robotic teams. IEEE Transactions on Robotics, 28(1), 158\u2013171.","journal-title":"IEEE Transactions on Robotics"},{"key":"9665_CR9","doi-asserted-by":"crossref","unstructured":"Cirillo, M., Uras, T., & Koenig, S. (2014). A lattice-based approach to multi-robot motion planning for non-holonomic vehicles. In Proceedings of the IEEE\/RSJ international conference on intelligent robots and systems (IROS). Chicago.","DOI":"10.1109\/IROS.2014.6942566"},{"key":"9665_CR10","doi-asserted-by":"publisher","unstructured":"DeCastro, J., Ehlers, R., Rungger, M., Balkan, A., & Kress-Gazit, H. (2016). Automated generation of dynamics-based runtime certificates for high-level control. Discrete Event Dynamic Systems. doi:\n                    10.1007\/s10626-016-0232-7\n                    \n                  .","DOI":"10.1007\/s10626-016-0232-7"},{"key":"9665_CR11","unstructured":"DeCastro, J. A., Alonso-Mora, J., Raman, V., Rus, D., & Kress-Gazit, H. (2015). Collision-free reactive mission and motion planning for multi-robot systems. In Proceedings of the international symposium on robotics research (ISRR)."},{"key":"9665_CR12","unstructured":"Deits, R., & Tedrake, R. (2014). Computing large convex regions of obstacle-free space through semidefinite programming. In Workshop on the algorithmic fundamentals of robotics."},{"issue":"5","key":"9665_CR13","doi-asserted-by":"publisher","first-page":"1291","DOI":"10.1109\/TAC.2011.2174666","volume":"57","author":"DV Dimarogonas","year":"2012","unstructured":"Dimarogonas, D. V., Frazzoli, E., & Johansson, K. (2012). Distributed event-triggered control for multi-agent systems. IEEE Transactions on Automatic Control, 57(5), 1291\u20131297.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9665_CR14","unstructured":"Ehlers, R. (2013). Symmetric and efficient synthesis, Ph.D. thesis. Saarland University."},{"key":"9665_CR15","doi-asserted-by":"crossref","unstructured":"Ehlers, R., Knighofer, R., & Bloem, R. (2015). Synthesizing cooperative reactive mission plans. In Intelligent robots and systems (IROS), 2015 IEEE\/RSJ international conference on.","DOI":"10.1109\/IROS.2015.7353862"},{"key":"9665_CR16","doi-asserted-by":"publisher","unstructured":"Ehlers, R., & Raman, V. (2016). Slugs: Extensible GR(1) synthesis. In Computer aided verification\u201428th international conference, CAV 2016, Toronto, ON. Proceedings, Part II (pp. 333\u2013339). doi:\n                    10.1007\/978-3-319-41540-6_18\n                    \n                  .","DOI":"10.1007\/978-3-319-41540-6_18"},{"key":"9665_CR17","unstructured":"Ehlers, R., & Topcu, U. (2014). Resilience to intermittent assumption violations in reactive synthesis. In Proceedings of the international conference on Hybrid systems: Computation and control."},{"key":"9665_CR18","doi-asserted-by":"crossref","unstructured":"Finucane, C., Jing, G., & Kress-Gazit, H. (2010). LTLMoP: Experimenting with language, temporal logic and robot control. In Proceedings of the IEEE\/RSJ international conference on intelligent robots and systems.","DOI":"10.1109\/IROS.2010.5650371"},{"issue":"7","key":"9665_CR19","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1177\/0278364906067174","volume":"25","author":"D Hsu","year":"2007","unstructured":"Hsu, D., Latombe, J. C., & Kurniawati, H. (2007). On the probabilistic foundations of probabilistic roadmap planning. The International Journal of Robotics Research, 25(7), 627\u2013643.","journal-title":"The International Journal of Robotics Research"},{"key":"9665_CR20","doi-asserted-by":"publisher","unstructured":"Jing, G., Ehlers, R., & Kress-Gazit, H. (2013). Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. In 2013 IEEE\/RSJ international conference on intelligent robots and systems (pp. 4796\u20134802). doi:\n                    10.1109\/IROS.2013.6697048\n                    \n                  .","DOI":"10.1109\/IROS.2013.6697048"},{"key":"9665_CR21","unstructured":"Karaman, S., & Frazzoli, E. (2009). Sampling-based motion planning with deterministic $$\\mu $$-calculus specifications. In IEEE conference on decision and control (CDC)."},{"key":"9665_CR22","doi-asserted-by":"crossref","unstructured":"Knepper, R. A., & Rus, D. (2012). Pedestrian-inspired sampling-based multi-robot collision avoidance. In RO-MAN (pp. 94\u2013100). IEEE.","DOI":"10.1109\/ROMAN.2012.6343737"},{"issue":"1","key":"9665_CR23","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/M-RA.2007.914921","volume":"15","author":"H Kress-Gazit","year":"2008","unstructured":"Kress-Gazit, H., Conner, D. C., Choset, H., Rizzi, A. A., & Pappas, G. J. (2008a). Courteous cars. IEEE Robotics Automation Magazine, 15(1), 30\u201338.","journal-title":"IEEE Robotics Automation Magazine"},{"issue":"12","key":"9665_CR24","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1163\/156855308X344864","volume":"22","author":"H Kress-Gazit","year":"2008","unstructured":"Kress-Gazit, H., Fainekos, G. E., & Pappas, G. J. (2008b). Translating structured english to robot controllers. Advanced Robotics, 22(12), 1343\u20131359.","journal-title":"Advanced Robotics"},{"issue":"6","key":"9665_CR25","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. E., & Pappas, G. J. (2009). Temporal logic based reactive mission and motion planning. IEEE Transactions on Robotics, 25(6), 1370\u20131381.","journal-title":"IEEE Transactions on Robotics"},{"issue":"5","key":"9665_CR26","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1177\/02783640122067453","volume":"20","author":"SM LaValle","year":"2001","unstructured":"LaValle, S. M., & Kuffner, J. J. (2001). Randomized kinodynamic planning. The International Journal of Robotics Research, 20(5), 378\u2013400.","journal-title":"The International Journal of Robotics Research"},{"key":"9665_CR27","doi-asserted-by":"crossref","unstructured":"Li, W., Dworkin, L., & Seshia, S. A. (2011). Mining assumptions for synthesis. In IEEE\/ACM international conference on formal methods and models for codesign.","DOI":"10.1109\/MEMCOD.2011.5970509"},{"issue":"7","key":"9665_CR28","doi-asserted-by":"publisher","first-page":"1771","DOI":"10.1109\/TAC.2013.2246095","volume":"58","author":"J Liu","year":"2013","unstructured":"Liu, J., Ozay, N., Topcu, U., & Murray, R. M. (2013). Synthesis of reactive switching protocols from temporal logic specifications. IEEE Transactions on Automatic Control, 58(7), 1771\u20131785.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9665_CR29","unstructured":"Livingston, S. C., Prabhakar, P., Jose, A. B., & Murray, R. M. (2013). Patching task-level robot controllers based on a local $$\\mu $$-calculus formula. In Proceedings of the IEEE international conference on robotics and automation (ICRA). Karlsruhe."},{"key":"9665_CR30","unstructured":"Loizou, S. G., & Kyriakopoulos, K. J. (2004). Automatic synthesis of multiagent motion tasks based on LTL specifications. In Proceedings of IEEE conference on decision and control (CDC)."},{"key":"9665_CR31","unstructured":"Maly, M., Lahijanian, M., Kavraki, L. E., Kress-Gazit, H., & Vardi, M. Y. (2013). Iterative temporal motion planning for hybrid systems in partially unknown environments. In Proceedings of the ACM international conference on hybrid systems: Computation and control (HSCC) (pp. 353\u2013362). Philadelphia, PA: ACM."},{"key":"9665_CR32","doi-asserted-by":"crossref","unstructured":"Mellinger, D., Kushleyev, A., & Kumar, V. (2012). Mixed-integer quadratic program trajectory generation for heterogeneous quadrotor teams. In IEEE international conference on robotics and automation.","DOI":"10.1109\/ICRA.2012.6225009"},{"issue":"3","key":"9665_CR33","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1002\/rob.20285","volume":"26","author":"M Pivtoraiko","year":"2009","unstructured":"Pivtoraiko, M., Knepper, R. A., & Kelly, A. (2009). Differentially constrained mobile robot motion planning in state lattices. Journal of Field Robotics, 26(3), 308\u2013333.","journal-title":"Journal of Field Robotics"},{"key":"9665_CR34","doi-asserted-by":"crossref","unstructured":"Raman, V. (2014). Reactive switching protocols for multi-robot high-level tasks. In IEEE\/RSJ international conference on intelligent robots and systems.","DOI":"10.1109\/IROS.2014.6942581"},{"key":"9665_CR35","doi-asserted-by":"crossref","unstructured":"Raman, V., & Kress-Gazit, H. (2014). Synthesis for multi-robot controllers with interleaved motion. In IEEE international conference on robotics and automation.","DOI":"10.1109\/ICRA.2014.6907487"},{"key":"9665_CR36","doi-asserted-by":"crossref","unstructured":"Raman, V., Piterman, N., & Kress-Gazit, H. (2013). Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. In IEEE international conference on robotics and automation.","DOI":"10.1109\/ICRA.2013.6631152"},{"key":"9665_CR37","doi-asserted-by":"crossref","unstructured":"Saha, I., Ramaithitima, R., Kumar, V., Pappas, G. J., & Seshia, S. A. (2016). Implan: Scalable incremental motion planning for multi-robot systems. In Proceedings of the 7th international conference on cyber-physical systems (ICCPS).","DOI":"10.1109\/ICCPS.2016.7479105"},{"key":"9665_CR38","unstructured":"Schillinger, P., B\u00fcrger, M., & Dimarogonas, D. V. (2016). Decomposition of finite LTL specifications for efficient multi-agent planning. In 13th international symposium on distributed autonomous robotic systems. Springer Tracts in Advanced Robotics."},{"key":"9665_CR39","doi-asserted-by":"publisher","unstructured":"Tumova, J., & Dimarogonas, D. V. (2015). Decomposition of multi-agent planning under distributed motion and task LTL specifications. In 54th IEEE conference on decision and control, CDC 2015. Osaka: IEEE (pp. 7448\u20137453). doi:\n                    10.1109\/CDC.2015.7403396\n                    \n                  ,","DOI":"10.1109\/CDC.2015.7403396"},{"issue":"8","key":"9665_CR40","doi-asserted-by":"publisher","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. (2013). Optimality and robustness in multi-robot path planning with temporal logic constraints. The International Journal of Robotics Research, 32(8), 889\u2013911.","journal-title":"The International Journal of Robotics Research"},{"key":"9665_CR41","unstructured":"van\u00a0den Berg, J., Guy, S. J., Lin, M., & Manocha, D. (2009). Reciprocal n-body collision avoidance. In International symposium on robotics research (ISRR)."},{"key":"9665_CR42","unstructured":"Vardi, M. Y. (1996). An automata-theoretic approach to linear temporal logic. In Logics for concurrency (pp. 238\u2013266). Berlin: Springer."},{"key":"9665_CR43","doi-asserted-by":"crossref","unstructured":"Wong, K. W., Ehlers, R., & Kress-Gazit, H. (2014). Correct high-level robot behavior in environments with unexpected events. In Proceedings of robotics science and systems.","DOI":"10.15607\/RSS.2014.X.012"},{"issue":"11","key":"9665_CR44","doi-asserted-by":"publisher","first-page":"2817","DOI":"10.1109\/TAC.2012.2195811","volume":"57","author":"T Wongpiromsarn","year":"2012","unstructured":"Wongpiromsarn, T., Topcu, U., & Murray, R. (2012). Receding horizon temporal logic planning. IEEE Transactions on Automatic Control, 57(11), 2817\u20132830.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9665_CR45","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn, T., Ulusoy, A., Belta, C., Frazzoli, E., & Rus, D. (2013). Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications. In IEEE international conference on robotics and automation (ICRA).","DOI":"10.1109\/ICRA.2013.6631293"}],"container-title":["Autonomous Robots"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10514-017-9665-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-017-9665-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-017-9665-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T08:47:48Z","timestamp":1589705268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10514-017-9665-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,12]]},"references-count":45,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["9665"],"URL":"https:\/\/doi.org\/10.1007\/s10514-017-9665-6","relation":{},"ISSN":["0929-5593","1573-7527"],"issn-type":[{"value":"0929-5593","type":"print"},{"value":"1573-7527","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,12]]},"assertion":[{"value":"10 December 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 July 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 August 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}