{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T16:14:09Z","timestamp":1758125649924,"version":"3.44.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T00:00:00Z","timestamp":1750636800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T00:00:00Z","timestamp":1750636800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-19-1-0169","FA9550-19-1-0169"],"award-info":[{"award-number":["FA9550-19-1-0169","FA9550-19-1-0169"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Appl. and Comput. Topology"],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1007\/s41468-025-00217-9","type":"journal-article","created":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T15:18:40Z","timestamp":1750691920000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Topology-aware planning under linear temporal logic constraints"],"prefix":"10.1007","volume":"9","author":[{"given":"Dan P.","family":"Guralnik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Warren E.","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,23]]},"reference":[{"key":"217_CR1","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s41468-022-00098-2","volume":"7","author":"Y Baryshnikov","year":"2023","unstructured":"Baryshnikov, Y.: Topological perplexity of feedback stabilization. J. Appl. Comput. Topol. 7, 75\u201387 (2023). https:\/\/doi.org\/10.1007\/s41468-022-00098-2","journal-title":"J. Appl. Comput. Topol."},{"issue":"3","key":"217_CR2","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10472-013-9357-7","volume":"67","author":"S Bhattacharya","year":"2013","unstructured":"Bhattacharya, S., Lipsky, D., Ghrist, R., Kumar, V.: Invariants for homology classes with application to optimal search and planning problem in robotics. Ann. Math. Artif. Intell. 67(3), 251\u2013281 (2013). https:\/\/doi.org\/10.1007\/s10472-013-9357-7","journal-title":"Ann. Math. Artif. Intell."},{"issue":"6","key":"217_CR3","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1177\/02783649922066385","volume":"18","author":"RR Burridge","year":"1999","unstructured":"Burridge, R.R., Rizzi, A.A., Koditschek, D.E.: Sequential composition of dynamically dexterous robot behaviors. Int. J. Robot. Res. 18(6), 534\u2013555 (1999). https:\/\/doi.org\/10.1177\/02783649922066385","journal-title":"Int. J. Robot. Res."},{"key":"217_CR4","unstructured":"Brockett, R.W.: Asymptotic Stability and Feedback Stabilization. In: Brockett, R.W., Millman, R.S., Sussman, H.J. (eds.) Differential Geometric Control Theory. Progress in Mathematics, vol. 27, pp. 181\u2013191 (1983). https:\/\/courses.ece.ucsb.edu\/ECE594\/594D_W10Byl\/hw\/Brockett83.pdf"},{"key":"217_CR5","doi-asserted-by":"publisher","unstructured":"Baryshnikov, Y., Shapiro, B.: How to run a centipede: a topological perspective. In: Geometric Control Theory and Sub-Riemannian Geometry, pp. 37\u201351 (2014). https:\/\/doi.org\/10.1007\/978-3-319-02132-4_3","DOI":"10.1007\/978-3-319-02132-4_3"},{"issue":"1","key":"217_CR6","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1146\/annurev-control-053018-023717","volume":"2","author":"C Belta","year":"2019","unstructured":"Belta, C., Sadraddini, S.: Formal methods for control synthesis: An optimization perspective. Annu. Rev. Control Robot. Auton. Syst. 2(1), 115\u2013140 (2019). https:\/\/doi.org\/10.1146\/annurev-control-053018-023717","journal-title":"Annu. Rev. Control Robot. Auton. Syst."},{"issue":"2","key":"217_CR7","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s00454-002-0760-9","volume":"29","author":"M Farber","year":"2003","unstructured":"Farber, M.: Topological complexity of motion planning. Discrete Comput. Geom. 29(2), 211\u2013221 (2003). https:\/\/doi.org\/10.1007\/s00454-002-0760-9","journal-title":"Discrete Comput. Geom."},{"issue":"2","key":"217_CR8","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","volume":"45","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G.E., Girard, A., Kress-Gazit, H., Pappas, G.J.: Temporal logic motion planning for dynamic robots. Automatica 45(2), 343\u2013352 (2009). https:\/\/doi.org\/10.1016\/j.automatica.2008.08.008","journal-title":"Automatica"},{"key":"217_CR9","doi-asserted-by":"publisher","unstructured":"Fainekos, G.E., Kress-Gazit, H., Pappas, G.J.: Hybrid controllers for path planning: A temporal logic approach. In: Proceedings of the 44th IEEE Conference on Decision and Control, pp. 4885\u20134890 (2005a). https:\/\/doi.org\/10.1109\/CDC.2005.1582935","DOI":"10.1109\/CDC.2005.1582935"},{"key":"217_CR10","doi-asserted-by":"publisher","unstructured":"Fainekos, G.E., Kress-Gazit, H., Pappas, G.J.: Temporal logic motion planning for mobile robots. In: Proceedings of the 2005 IEEE International Conference on Robotics and Automation, pp. 2020\u20132025. IEEE, Barcelona, Spain (2005b). https:\/\/doi.org\/10.1109\/ROBOT.2005.1570410","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"217_CR11","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1137\/S0036144504445133","volume":"48","author":"P Holmes","year":"2006","unstructured":"Holmes, P., Full, R.J., Koditschek, D.E., Guckenheimer, J.: The dynamics of legged locomotion: models, analyses, and challenges. SIAM Rev. 48, 207\u2013304 (2006). https:\/\/doi.org\/10.1137\/S0036144504445133","journal-title":"SIAM Rev."},{"issue":"12","key":"217_CR12","doi-asserted-by":"publisher","first-page":"1372","DOI":"10.1002\/rnc.1715","volume":"21","author":"S Karaman","year":"2011","unstructured":"Karaman, S., Frazzoli, E.: Linear temporal logic vehicle routing with applications to multi-UAV mission planning. Int. J. Robust Nonlinear Control 21(12), 1372\u20131395 (2011). https:\/\/doi.org\/10.1002\/rnc.1715","journal-title":"Int. J. Robust Nonlinear Control"},{"issue":"6","key":"217_CR13","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.: Temporal-logic-based reactive mission and motion planning. IEEE Trans. Rob. 25(6), 1370\u20131381 (2009). https:\/\/doi.org\/10.1109\/TRO.2009.2030225","journal-title":"IEEE Trans. Rob."},{"issue":"1","key":"217_CR14","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1146\/annurev-control-060117-104838","volume":"1","author":"H Kress Gazit","year":"2018","unstructured":"Kress Gazit, H., Lahijanian, M., Raman, V.: Synthesis for robots: Guarantees and feedback for robot behavior. Annu. Rev. Control Robot. Auton. Syst. 1(1), 211\u2013236 (2018). https:\/\/doi.org\/10.1146\/annurev-control-060117-104838","journal-title":"Annu. Rev. Control Robot. Auton. Syst."},{"issue":"1","key":"217_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0921-8890(92)90031-S","volume":"9","author":"DE Koditschek","year":"1992","unstructured":"Koditschek, D.E.: Task encoding: Toward a Scientific Paradigm for Robot Planning and Control. Robot. Auton. Syst. 9(1), 5\u201339 (1992). https:\/\/doi.org\/10.1016\/0921-8890(92)90031-S","journal-title":"Robot. Auton. Syst."},{"issue":"1","key":"217_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1146\/annurev-control-080320-011601","volume":"4","author":"DE Koditschek","year":"2021","unstructured":"Koditschek, D.E.: What is robotics? Why do we need it and how can we get it? Annu. Rev. Control Robot. Auton. Syst. 4(1), 1\u201333 (2021). https:\/\/doi.org\/10.1146\/annurev-control-080320-011601","journal-title":"Annu. Rev. Control Robot. Auton. Syst."},{"key":"217_CR17","doi-asserted-by":"publisher","unstructured":"Kozlov, D.: Combinatorial Algebraic Topology. Algorithms and Computation in Mathematics, vol. 21. Springer, Berlin (2008). https:\/\/doi.org\/10.1007\/978-3-540-71962-5","DOI":"10.1007\/978-3-540-71962-5"},{"issue":"4","key":"217_CR18","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1016\/0196-8858(90)90017-S","volume":"11","author":"DE Koditschek","year":"1990","unstructured":"Koditschek, D.E., Rimon, E.: Robot navigation functions on manifolds with boundary. Adv. Appl. Math. 11(4), 412\u2013442 (1990). https:\/\/doi.org\/10.1016\/0196-8858(90)90017-S","journal-title":"Adv. Appl. Math."},{"key":"217_CR19","doi-asserted-by":"publisher","unstructured":"Karaman, S., Sanfelice, R.G., Frazzoli, E.: Optimal control of mixed logical dynamical systems with linear temporal logic specifications. In: 2008 47th IEEE Conference on Decision and Control, pp. 2117\u20132122 (2008). https:\/\/doi.org\/10.1109\/CDC.2008.4739370","DOI":"10.1109\/CDC.2008.4739370"},{"key":"217_CR20","unstructured":"Kvalheim, M.D.: Relationships Between Necessary Conditions for Feedback Stabilizability. (preprint) (2023)"},{"key":"217_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.arcontrol.2017.04.001","volume":"43","author":"F Lamnabhi Lagarrigue","year":"2017","unstructured":"Lamnabhi Lagarrigue, F., Annaswamy, A., Engell, S., Isaksson, A., Khargonekar, P., Murray, R.M., Nijmeijer, H., Samad, T., Tilbury, D., Hof, P.: Systems & Control for the Future of Humanity, Research Agenda: Current and Future Roles, Impact and Grand Challenges. Annu. Rev. Control 43, 1\u201364 (2017)","journal-title":"Annu. Rev. Control"},{"issue":"1","key":"217_CR22","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/LRA.2022.3223024","volume":"8","author":"C Mavrogiannis","year":"2023","unstructured":"Mavrogiannis, C., Balasubramanian, K., Poddar, S., Gandra, A., Srinivasa, S.S.: Winding through: Crowd navigation via topological invariance. IEEE Robot. Autom. Lett. 8(1), 121\u2013128 (2023). https:\/\/doi.org\/10.1109\/LRA.2022.3223024","journal-title":"IEEE Robot. Autom. Lett."},{"issue":"6","key":"217_CR23","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1109\/TRO.2010.2081410","volume":"26","author":"D Marinakis","year":"2010","unstructured":"Marinakis, D., Dudek, G.: Pure topological mapping in mobile robotics. IEEE Trans. Rob. 26(6), 1051\u20131064 (2010). https:\/\/doi.org\/10.1109\/TRO.2010.2081410","journal-title":"IEEE Trans. Rob."},{"key":"217_CR24","doi-asserted-by":"publisher","unstructured":"Maierhofer, S., Moosbrugger, P., Althoff, M.: Formalization of intersection traffic rules in temporal logic. In: 2022 IEEE Intelligent Vehicles Symposium (IV), pp. 1135\u20131144 (2022). https:\/\/doi.org\/10.1109\/IV51971.2022.9827153","DOI":"10.1109\/IV51971.2022.9827153"},{"key":"217_CR25","doi-asserted-by":"publisher","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: International Symposium on Formal Techniques in Real-time and Fault-tolerant Systems, pp. 152\u2013166 (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12 . Springer","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"217_CR26","unstructured":"Montgomery, R., Sanfelice, R.G.: 6. Hybrid Control, Morse Theory and Ivan Kupka 12, 135\u2013152 (2024)"},{"key":"217_CR27","doi-asserted-by":"publisher","unstructured":"Ouaknine, J., Worrell, J.: On the decidability of metric temporal logic. In: 20th Annual IEEE Symposium on Logic in Computer Science (LICS\u201905), pp. 188\u2013197 (2005). https:\/\/doi.org\/10.1109\/LICS.2005.33 . IEEE","DOI":"10.1109\/LICS.2005.33"},{"key":"217_CR28","doi-asserted-by":"publisher","unstructured":"Pokorny, F., Hawasly, M., Ramamoorthy, S.: Multiscale topological trajectory classification with persistent homology. In: Proceedings of Robotics: Science and Systems X 2014, (2014). https:\/\/doi.org\/10.15607\/RSS.2014.X.054","DOI":"10.15607\/RSS.2014.X.054"},{"issue":"6","key":"217_CR29","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1109\/9.863598","volume":"45","author":"GJ Pappas","year":"2000","unstructured":"Pappas, G.J., Lafferriere, G., Sastry, S.: Hierarchically consistent control systems. IEEE Trans. Autom. Control 45(6), 1144\u20131160 (2000). https:\/\/doi.org\/10.1109\/9.863598","journal-title":"IEEE Trans. Autom. Control"},{"key":"217_CR30","doi-asserted-by":"publisher","unstructured":"Ren, W., Calbert, J., Jungers, R.: Zonotope-Based Controller Synthesis for LTL Specifications. In: 2021 60th IEEE Conference on Decision and Control (CDC), pp. 580\u2013585 (2021). https:\/\/doi.org\/10.1109\/CDC45484.2021.9683150","DOI":"10.1109\/CDC45484.2021.9683150"},{"issue":"5","key":"217_CR31","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1109\/70.163777","volume":"8","author":"E Rimon","year":"1992","unstructured":"Rimon, E., Koditschek, D.E.: Exact robot navigation using artificial potential functions. IEEE Trans. Robot. Autom. 8(5), 501\u2013518 (1992). https:\/\/doi.org\/10.1109\/70.163777","journal-title":"IEEE Trans. Robot. Autom."},{"key":"217_CR32","doi-asserted-by":"publisher","unstructured":"Roohi, N., Viswanathan, M.: Revisiting mitl to fix decision procedures. In: International Conference on Verification, Model Checking, and Abstract Interpretation, pp. 474\u2013494 (2017). https:\/\/doi.org\/10.1007\/978-3-319-73721-8_22 . Springer","DOI":"10.1007\/978-3-319-73721-8_22"},{"key":"217_CR33","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-319-41540-6_17","volume-title":"Computer Aided Verification","author":"S Sickert","year":"2016","unstructured":"Sickert, S., Esparza, J., Jaax, S., K\u0159et\u00ednsk\u00fd, J.: Limit-deterministic b\u00fcchi automata for linear temporal logic. In: Chaudhuri, S., Farzan, A. (eds.) Computer Aided Verification, pp. 312\u2013332. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41540-6_17"},{"key":"217_CR34","doi-asserted-by":"publisher","unstructured":"Shoukry, Y., Nuzzo, P., Balkan, A., Saha, I., Sangiovanni-Vincentelli, A.L., Seshia, S.A., Pappas, G.J., Tabuada, P.: Linear Temporal Logic Motion Planning for Teams of Underactuated Robots Using Satisfiability modulo Convex Programming. In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pp. 1132\u20131137. IEEE, Melbourne, Australia (2017). https:\/\/doi.org\/10.1109\/CDC.2017.8263808","DOI":"10.1109\/CDC.2017.8263808"},{"issue":"4","key":"217_CR35","doi-asserted-by":"publisher","first-page":"1189","DOI":"10.1109\/TRO.2019.2957669","volume":"36","author":"YE Sahin","year":"2019","unstructured":"Sahin, Y.E., Nilsson, P., Ozay, N.: Multirobot coordination with counting temporal logics. IEEE Trans. Rob. 36(4), 1189\u20131206 (2019)","journal-title":"IEEE Trans. Rob."},{"key":"217_CR36","doi-asserted-by":"publisher","unstructured":"Tokuda, S., Yamakita, M., Oyama, H., Takano, R.: Convex Approximation for LTL-based Planning. In: 2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 9863\u20139869 (2021). https:\/\/doi.org\/10.1109\/IROS51168.2021.9636801","DOI":"10.1109\/IROS51168.2021.9636801"},{"key":"217_CR37","doi-asserted-by":"publisher","unstructured":"Wells, M., Kingston, Z., Lahijanian, M., Kavraki, L.E., Vardi, M.Y.: Finite-Horizon Synthesis for Probabilistic Manipulation Domains. In: 2021 IEEE International Conference on Robotics and Automation (ICRA), pp. 6336\u20136342. IEEE, Xi\u2019an, China (2021). https:\/\/doi.org\/10.1109\/ICRA48506.2021.9561297","DOI":"10.1109\/ICRA48506.2021.9561297"},{"key":"217_CR38","doi-asserted-by":"publisher","unstructured":"Wang, Y., Pajic, M.: Hyperproperties for robotics: Motion planning via HyperLTL. In: IEEE International Conference on Robotics and Automation, Paris, France, pp. 8462\u20138468 (2020). https:\/\/doi.org\/10.1109\/ICRA40945.2020.9196874","DOI":"10.1109\/ICRA40945.2020.9196874"}],"container-title":["Journal of Applied and Computational Topology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-025-00217-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41468-025-00217-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-025-00217-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T11:17:09Z","timestamp":1758107829000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41468-025-00217-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["217"],"URL":"https:\/\/doi.org\/10.1007\/s41468-025-00217-9","relation":{},"ISSN":["2367-1726","2367-1734"],"issn-type":[{"type":"print","value":"2367-1726"},{"type":"electronic","value":"2367-1734"}],"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"12 February 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 June 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 June 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 June 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"17"}}