{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T19:29:00Z","timestamp":1773775740909,"version":"3.50.1"},"reference-count":85,"publisher":"SAGE Publications","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIC"],"published-print":{"date-parts":[[2015,8,10]]},"DOI":"10.3233\/aic-150682","type":"journal-article","created":{"date-parts":[[2015,12,29]],"date-time":"2015-12-29T14:20:20Z","timestamp":1451398820000},"page":"151-162","source":"Crossref","is-referenced-by-count":73,"title":["Motion planning with temporal-logic specifications: Progress and challenges"],"prefix":"10.1177","volume":"29","author":[{"given":"Erion","family":"Plaku","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, Catholic University of America, Washington, DC,\u00a0USA. E-mail:\u00a0plaku@cua.edu"}]},{"given":"Sertac","family":"Karaman","sequence":"additional","affiliation":[{"name":"Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA. E-mail:\u00a0sertac@mit.edu"}]}],"member":"179","reference":[{"key":"10.3233\/AIC-150682_ref1","doi-asserted-by":"crossref","unstructured":"[1]S.\u00a0Aine and M.\u00a0Likhachev, Anytime truncated D\u2217: Anytime replanning with truncation, in: Annual Symposium on Combinatorial Search, 2013, pp.\u00a02\u201310.","DOI":"10.1609\/socs.v4i1.18295"},{"key":"10.3233\/AIC-150682_ref2","unstructured":"[2]R.\u00a0Alterovitz and K.\u00a0Goldberg, Motion Planning in Medicine: Optimization and Simulation Algorithms for Image-Guided Procedures, Springer Tracts in Advanced Robotics, 2008."},{"issue":"1,2","key":"10.3233\/AIC-150682_ref3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1018985923441","article-title":"Planning for temporally extended goals","volume":"22","author":"Bacchus","year":"1998","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.3233\/AIC-150682_ref4","doi-asserted-by":"crossref","unstructured":"[4]K.E.\u00a0Bekris and L.E.\u00a0Kavraki, Greedy but safe replanning under kinodynamic constraints, in: IEEE International Conference on Robotics and Automation, 2007, pp.\u00a0704\u2013710.","DOI":"10.1109\/ROBOT.2007.363069"},{"issue":"1","key":"10.3233\/AIC-150682_ref5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/MRA.2007.339624","article-title":"Symbolic planning and control of robot motion","volume":"14","author":"Belta","year":"2007","journal-title":"IEEE Robotics and Automation Magazine"},{"key":"10.3233\/AIC-150682_ref6","doi-asserted-by":"crossref","unstructured":"[6]A.\u00a0Bhatia, L.E.\u00a0Kavraki and M.Y.\u00a0Vardi, Sampling-based motion planning with temporal goals, in: IEEE International Conference on Robotics and Automation, 2010, pp.\u00a02689\u20132696.","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"10.3233\/AIC-150682_ref7","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/MRA.2011.942115","article-title":"Motion planning with complex goals","volume":"18","author":"Bhatia","year":"2011","journal-title":"IEEE Robotics Automation Magazine"},{"issue":"1","key":"10.3233\/AIC-150682_ref8","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0304-3975(94)00147-B","article-title":"Universal computation and other capabilities of continuous and hybrid systems","volume":"138","author":"Branicky","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"10.3233\/AIC-150682_ref9","first-page":"159","article-title":"Real-time multi-robot motion planning with safe dynamics","volume":"3","author":"Bruce","year":"2005","journal-title":"Multi-Robot Systems: From Swarms to Intelligent Automata"},{"key":"10.3233\/AIC-150682_ref10","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1177\/0278364908097884","article-title":"A hybrid approach to intricate motion, manipulation and task planning","volume":"1","author":"Cambon","year":"2009","journal-title":"International Journal of Robotics Research"},{"key":"10.3233\/AIC-150682_ref11","unstructured":"[11]J.\u00a0Canny, The Complexity of Robot Motion Planning, MIT Press, Cambridge, MA, 1988."},{"key":"10.3233\/AIC-150682_ref12","unstructured":"[12]M.\u00a0Cashmore, M.\u00a0Fox, T.\u00a0Larkworthy, D.\u00a0Long and D.\u00a0Magazzeni, Planning inspection tasks for AUVs, in: OCEANS, 2013, pp.\u00a01\u20138."},{"issue":"1","key":"10.3233\/AIC-150682_ref13","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1109\/TRO.2011.2163434","article-title":"A formal approach to the deployment of distributed robotic teams","volume":"28","author":"Chen","year":"2012","journal-title":"IEEE Transactions on Robotics"},{"issue":"5","key":"10.3233\/AIC-150682_ref14","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1177\/0278364912473168","article-title":"Temporal logic robot control based on automata learning of environmental dynamics","volume":"32","author":"Chen","year":"2013","journal-title":"International Journal of Robotics Research"},{"key":"10.3233\/AIC-150682_ref15","doi-asserted-by":"crossref","unstructured":"[15]P.\u00a0Cheng, G.\u00a0Pappas and V.\u00a0Kumar, Decidability of motion planning with differential constraints, in: IEEE International Conference on Robotics and Automation, 2007, pp.\u00a01826\u20131831.","DOI":"10.1109\/ROBOT.2007.363587"},{"key":"10.3233\/AIC-150682_ref16","doi-asserted-by":"crossref","unstructured":"[16]J.\u00a0Choi and E.\u00a0Amir, Combining planning and motion planning, in: IEEE International Conference on Robotics and Automation, 2009, pp.\u00a0238\u2013244.","DOI":"10.1109\/ROBOT.2009.5152872"},{"key":"10.3233\/AIC-150682_ref17","unstructured":"[17]H.\u00a0Choset, K.M.\u00a0Lynch, S.\u00a0Hutchinson, G.\u00a0Kantor, W.\u00a0Burgard, L.E.\u00a0Kavraki and S.\u00a0Thrun, Principles of Robot Motion: Theory, Algorithms, and Implementations, MIT Press, 2005."},{"key":"10.3233\/AIC-150682_ref18","unstructured":"[18]E.M.\u00a0Clarke, O.\u00a0Grumberg and D.A.\u00a0Peled, Model Checking, MIT Press, 2000."},{"issue":"3","key":"10.3233\/AIC-150682_ref19","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1177\/0278364914557736","article-title":"Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors","volume":"34","author":"DeCastro","year":"2015","journal-title":"The International Journal of Robotics Research"},{"issue":"3","key":"10.3233\/AIC-150682_ref20","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/s10458-009-9079-8","article-title":"A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems","volume":"19","author":"Doherty","year":"2009","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"10.3233\/AIC-150682_ref21","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/174147.174150","article-title":"Kinodynamic motion planning","volume":"40","author":"Donald","year":"1993","journal-title":"Journal of the ACM"},{"key":"10.3233\/AIC-150682_ref22","doi-asserted-by":"crossref","unstructured":"[22]S.\u00a0Edelkamp and E.\u00a0Plaku, Multi-goal motion planning with physics-based game engines, in: IEEE Conference on Computational Intelligence and Games, 2014, pp.\u00a0115\u2013122.","DOI":"10.1109\/CIG.2014.6932874"},{"issue":"1","key":"10.3233\/AIC-150682_ref23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","article-title":"Decision procedures and expressiveness in the temporal logic of branching time","volume":"30","author":"Emerson","year":"1985","journal-title":"Journal of Computer and System Sciences"},{"key":"10.3233\/AIC-150682_ref24","unstructured":"[24]E.A.\u00a0Emerson and C.S.\u00a0Jutla, Tree automata, mu-calculus and determinacy, in: Proceedings of the Symposium on Foundations of Computer Science, 1991, pp.\u00a0168\u2013377."},{"key":"10.3233\/AIC-150682_ref25","doi-asserted-by":"crossref","unstructured":"[25]E.\u00a0Erdem, K.\u00a0Haspalamutgil, C.\u00a0Palaz, V.\u00a0Patoglu and T.\u00a0Uras, Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation, in: IEEE International Conference on Robotics and Automation, 2011, pp.\u00a04575\u20134581.","DOI":"10.1109\/ICRA.2011.5980160"},{"issue":"2","key":"10.3233\/AIC-150682_ref26","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","article-title":"Temporal logic motion planning for dynamic mobile robots","volume":"45","author":"Fainekos","year":"2009","journal-title":"Automatica"},{"key":"10.3233\/AIC-150682_ref27","doi-asserted-by":"crossref","unstructured":"[27]D.\u00a0Ferguson and A.\u00a0Stentz, Anytime RRTs, in: IEEE\/RSJ International Conference on Intelligent Robots and Systems, 2006, pp.\u00a05369\u20135375.","DOI":"10.1109\/IROS.2006.282100"},{"key":"10.3233\/AIC-150682_ref28","doi-asserted-by":"crossref","unstructured":"[28]K.\u00a0Gochev, A.\u00a0Safonova and M.\u00a0Likhachev, Planning with adaptive dimensionality for mobile manipulation, in: IEEE International Conference on Robotics and Automation, 2012, pp.\u00a02944\u20132951.","DOI":"10.1109\/ICRA.2012.6225228"},{"key":"10.3233\/AIC-150682_ref29","doi-asserted-by":"crossref","unstructured":"[29]M.\u00a0Guo, K.H.\u00a0Johansson and D.V.\u00a0Dimarogonas, Revising motion planning under linear temporal logic specifications in partially known workspaces, in: IEEE International Conference on Robotics and Automation, 2013, pp.\u00a05025\u20135032.","DOI":"10.1109\/ICRA.2013.6631295"},{"issue":"2","key":"10.3233\/AIC-150682_ref30","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0019-9958(86)80001-8","article-title":"Probabilistic propositional temporal logics","volume":"70","author":"Hart","year":"1986","journal-title":"Information and Control"},{"issue":"3","key":"10.3233\/AIC-150682_ref31","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1177\/027836402320556421","article-title":"Randomized kinodynamic motion planning with moving obstacles","volume":"21","author":"Hsu","year":"2002","journal-title":"International Journal of Robotics Research"},{"issue":"3","key":"10.3233\/AIC-150682_ref32","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s10514-012-9301-4","article-title":"Probabilistic guarantees for high-level robot behavior in the presence of sensor error","volume":"33","author":"Johnson","year":"2012","journal-title":"Autonomous Robots"},{"key":"10.3233\/AIC-150682_ref33","doi-asserted-by":"crossref","unstructured":"[33]L.\u00a0Kaelbling and T.\u00a0Lozano-P\u00e9rez, Hierarchical task and motion planning in the now, in: IEEE International Conference on Robotics and Automation, 2011, pp.\u00a01470\u20131477.","DOI":"10.1109\/ICRA.2011.5980391"},{"key":"10.3233\/AIC-150682_ref34","doi-asserted-by":"crossref","unstructured":"[34]S.\u00a0Karaman and E.\u00a0Frazzoli, Sampling-based motion planning with deterministic \u03bc-calculus specifications, in: IEEE Conference on Decision and Control, 2009, pp.\u00a02222\u20132229.","DOI":"10.1109\/CDC.2009.5400278"},{"key":"10.3233\/AIC-150682_ref35","doi-asserted-by":"crossref","unstructured":"[35]S.\u00a0Karaman and E.\u00a0Frazzoli, Optimal kinodynamic motion planning using incremental sampling-based methods, in: IEEE Conference on Decision and Control, 2010, pp.\u00a07681\u20137687.","DOI":"10.1109\/CDC.2010.5717430"},{"key":"10.3233\/AIC-150682_ref36","doi-asserted-by":"crossref","unstructured":"[36]S.\u00a0Karaman and E.\u00a0Frazzoli, Sampling-based algorithms for optimal motion planning with deterministic \u03bc-calculus specifications, in: American Control Conference, 2012, pp.\u00a0735\u2013742.","DOI":"10.1109\/ACC.2012.6315419"},{"key":"10.3233\/AIC-150682_ref37","doi-asserted-by":"crossref","unstructured":"[37]S.\u00a0Karaman, M.R.\u00a0Walter, A.\u00a0Perez, E.\u00a0Frazzoli and S.\u00a0Teller, Anytime motion planning using the RRT\u2217, in: IEEE International Conference on Robotics and Automation, 2011, pp.\u00a01478\u20131483.","DOI":"10.1109\/ICRA.2011.5980479"},{"issue":"4","key":"10.3233\/AIC-150682_ref38","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1109\/70.508439","article-title":"Probabilistic roadmaps for path planning in high-dimensional configuration spaces","volume":"12","author":"Kavraki","year":"1996","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"10.3233\/AIC-150682_ref39","unstructured":"[39]H.\u00a0Keller, Numerical Methods for Two-Point Boundary-Value Problems, Dover, New York, NY, 1992."},{"issue":"2","key":"10.3233\/AIC-150682_ref40","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1109\/TRO.2006.889492","article-title":"Temporal logic planning and control of robotic swarms by hierarchical abstractions","volume":"23","author":"Kloetzer","year":"2007","journal-title":"IEEE Transactions on Robotics"},{"issue":"3","key":"10.3233\/AIC-150682_ref41","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1109\/TRO.2004.838026","article-title":"Fast replanning for navigation in unknown terrain","volume":"21","author":"Koenig","year":"2005","journal-title":"IEEE Transactions on Robotics"},{"issue":"4","key":"10.3233\/AIC-150682_ref42","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","article-title":"Specifying real-time properties with metric temporal logic","volume":"2","author":"Koymans","year":"1990","journal-title":"Real-time Systems"},{"issue":"6","key":"10.3233\/AIC-150682_ref43","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","article-title":"Temporal logic-based reactive mission and motion planning","volume":"25","author":"Kress-Gazit","year":"2009","journal-title":"IEEE Transactions on Robotics"},{"issue":"3","key":"10.3233\/AIC-150682_ref44","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/MRA.2011.942116","article-title":"Correct, reactive robot control from abstraction and temporal logic specifications","volume":"18","author":"Kress-Gazit","year":"2011","journal-title":"IEEE Robotics & Automation Magazine"},{"issue":"1","key":"10.3233\/AIC-150682_ref45","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1023\/A:1013219111657","article-title":"Dynamically-stable motion planning for humanoid robots","volume":"12","author":"Kuffner","year":"2002","journal-title":"Autonomous Robots"},{"issue":"3","key":"10.3233\/AIC-150682_ref46","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1011254632723","article-title":"Model checking of safety properties","volume":"19","author":"Kupferman","year":"2001","journal-title":"Formal Methods in System Design"},{"issue":"1\u20134","key":"10.3233\/AIC-150682_ref47","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1023\/A:1016619613658","article-title":"TALplanner: A temporal logic based forward chaining planner","volume":"30","author":"Kvarnstr\u00f6m","year":"2000","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.3233\/AIC-150682_ref48","doi-asserted-by":"crossref","unstructured":"[48]F.\u00a0Lagriffoul, D.\u00a0Dimitrov, A.\u00a0Saffiotti and L.\u00a0Karlsson, Constraint propagation on interval bounds for dealing with geometric backtracking, in: IEEE\/RSJ International Conference on Intelligent Robots and Systems, 2012, pp.\u00a0957\u2013964.","DOI":"10.1109\/IROS.2012.6385972"},{"issue":"2","key":"10.3233\/AIC-150682_ref49","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1109\/TRO.2011.2172150","article-title":"Temporal logic motion planning and control with probabilistic satisfaction guarantees","volume":"28","author":"Lahijanian","year":"2012","journal-title":"IEEE Transactions on Robotics"},{"key":"10.3233\/AIC-150682_ref50","doi-asserted-by":"crossref","unstructured":"[50]S.M.\u00a0LaValle, Planning Algorithms, Cambridge Univ. Press, Cambridge, MA, 2006.","DOI":"10.1017\/CBO9780511546877"},{"issue":"5","key":"10.3233\/AIC-150682_ref51","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1177\/02783640122067453","article-title":"Randomized kinodynamic planning","volume":"20","author":"LaValle","year":"2001","journal-title":"International Journal of Robotics Research"},{"issue":"10","key":"10.3233\/AIC-150682_ref52","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1002\/rob.20262","article-title":"A perception driven autonomous urban vehicle","volume":"25","author":"Leonard","year":"2008","journal-title":"Journal of Field Robotics"},{"key":"10.3233\/AIC-150682_ref53","doi-asserted-by":"crossref","unstructured":"[53]S.C.\u00a0Livingston, R.M.\u00a0Murray and J.W.\u00a0Burdick, Backtracking temporal logic synthesis for uncertain environments, in: IEEE International Conference on Robotics and Automation, 2012, pp.\u00a05163\u20135170.","DOI":"10.1109\/ICRA.2012.6225208"},{"key":"10.3233\/AIC-150682_ref54","unstructured":"[54]B.\u00a0Marthi, S.\u00a0Russell and J.\u00a0Wolfe, Angelic semantics for high-level actions, in: International Conference on Automated Planning and Scheduling, 2007, pp.\u00a0232\u2013239."},{"issue":"1","key":"10.3233\/AIC-150682_ref55","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s10849-006-9022-1","article-title":"Linear temporal logic as an executable semantics for planning languages","volume":"16","author":"Mayer","year":"2007","journal-title":"Journal of Logic, Language and Information"},{"key":"10.3233\/AIC-150682_ref56","doi-asserted-by":"crossref","unstructured":"[56]J.\u00a0McMahon and E.\u00a0Plaku, Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic, in: IEEE\/RSJ International Conference on Intelligent Robots and Systems, 2014, pp.\u00a03726\u20133733.","DOI":"10.1109\/IROS.2014.6943085"},{"key":"10.3233\/AIC-150682_ref57","doi-asserted-by":"publisher","DOI":"10.1017\/S0263574715000417"},{"key":"10.3233\/AIC-150682_ref58","doi-asserted-by":"crossref","unstructured":"[58]K.\u00a0Molloy and A.\u00a0Shehu, Elucidating the ensemble of functionally-relevant transitions in protein systems with a robotics-inspired method, BMC Structural Biology 13 (2013), S8.","DOI":"10.1186\/1472-6807-13-S1-S8"},{"issue":"5","key":"10.3233\/AIC-150682_ref59","doi-asserted-by":"crossref","first-page":"700","DOI":"10.1109\/9.277235","article-title":"Nonholonomic motion planning: Steering using sinusoids","volume":"38","author":"Murray","year":"1993","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.3233\/AIC-150682_ref60","doi-asserted-by":"crossref","unstructured":"[60]E.\u00a0Plaku, Planning in discrete and continuous spaces: From LTL tasks to robot motions, in: Towards Autonomous Robotic Systems, LNCS, Vol.\u00a07429, 2012, pp.\u00a0331\u2013342.","DOI":"10.1007\/978-3-642-32527-4_30"},{"key":"10.3233\/AIC-150682_ref61","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1109\/TRO.2015.2424031","article-title":"Region-guided and sampling-based tree search for motion planning with dynamics","volume":"31","author":"Plaku","year":"2015","journal-title":"IEEE Transactions on Robotics"},{"key":"10.3233\/AIC-150682_ref62","doi-asserted-by":"crossref","unstructured":"[62]E.\u00a0Plaku and G.D.\u00a0Hager, Sampling-based motion and symbolic action planning with geometric and differential constraints, in: IEEE International Conference on Robotics and Automation, 2010, pp.\u00a05002\u20135008.","DOI":"10.1109\/ROBOT.2010.5509563"},{"issue":"4","key":"10.3233\/AIC-150682_ref63","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/s10009-012-0233-2","article-title":"Falsification of LTL safety properties in hybrid systems","volume":"15","author":"Plaku","year":"2013","journal-title":"International Journal on Software Tools and Technology Transfer"},{"key":"10.3233\/AIC-150682_ref64","doi-asserted-by":"crossref","unstructured":"[64]E.\u00a0Plaku, L.E.\u00a0Kavraki and M.Y.\u00a0Vardi, Falsification of LTL safety properties in hybrid systems, in: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Vol.\u00a05505, 2009, pp.\u00a0368\u2013382.","DOI":"10.1007\/978-3-642-00768-2_31"},{"issue":"3","key":"10.3233\/AIC-150682_ref65","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1109\/TRO.2010.2047820","article-title":"Motion planning with dynamics by a synergistic combination of layers of planning","volume":"26","author":"Plaku","year":"2010","journal-title":"IEEE Transactions on Robotics"},{"key":"10.3233\/AIC-150682_ref66","doi-asserted-by":"crossref","unstructured":"[66]E.\u00a0Plaku and J.\u00a0McMahon, Motion planning and decision making for underwater vehicles operating in constrained environments in the littoral, in: Towards Autonomous Robotic Systems, LNCS, Vol.\u00a08069, 2014, pp.\u00a0328\u2013339.","DOI":"10.1007\/978-3-662-43645-5_36"},{"key":"10.3233\/AIC-150682_ref67","doi-asserted-by":"crossref","unstructured":"[67]A.\u00a0Pnueli, The temporal logic of programs, in: IEEE Symposium on Foundations of Computer Science, 1977, pp.\u00a046\u201357.","DOI":"10.1109\/SFCS.1977.32"},{"key":"10.3233\/AIC-150682_ref68","doi-asserted-by":"crossref","unstructured":"[68]S.\u00a0Rashidian, E.\u00a0Plaku and S.\u00a0Edelkamp, Motion planning with rigid-body dynamics for generalized traveling salesman tours, in: ACM SIGGRAPH Motion in Games, 2014, pp.\u00a087\u201396.","DOI":"10.1145\/2668064.2668090"},{"key":"10.3233\/AIC-150682_ref69","doi-asserted-by":"crossref","unstructured":"[69]J.\u00a0Reif, Complexity of the mover\u2019s problem and generalizations, in: IEEE Symposium on Foundations of Computer Science, 1979, pp.\u00a0421\u2013427.","DOI":"10.1109\/SFCS.1979.10"},{"key":"10.3233\/AIC-150682_ref70","unstructured":"[70]S.\u00a0Russle and P.\u00a0Norvig, Artificial Intelligence: A Modern Approach, 2nd edn, Prentice-Hall, 2002."},{"key":"10.3233\/AIC-150682_ref71","doi-asserted-by":"crossref","unstructured":"[71]S.\u00a0Sarid, B.\u00a0Xu and H.\u00a0Kress-Gazit, Guaranteeing high-level behaviors while exploring partially known maps, in: Robotics: Science and Systems, 2012, pp.\u00a0377\u2013384.","DOI":"10.15607\/RSS.2012.VIII.048"},{"key":"10.3233\/AIC-150682_ref72","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0004-3702(88)90053-7","article-title":"A survey of motion planning and related geometric algorithms","volume":"37","author":"Schwartz","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-150682_ref73","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF01211865","article-title":"Safety, liveness and fairness in temporal logic","volume":"6","author":"Sistla","year":"1994","journal-title":"Formal Aspects of Computing"},{"key":"10.3233\/AIC-150682_ref74","doi-asserted-by":"crossref","unstructured":"[74]I.A.\u00a0\u015eucan and L.E.\u00a0Kavraki, Mobile manipulation: Encoding motion planning options using task motion multigraphs, in: IEEE International Conference on Robotics and Automation, 2011, pp.\u00a05492\u20135498.","DOI":"10.1109\/ICRA.2011.5980212"},{"issue":"1","key":"10.3233\/AIC-150682_ref75","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/TRO.2011.2160466","article-title":"A sampling-based tree planner for systems with complex dynamics","volume":"28","author":"\u015eucan","year":"2012","journal-title":"IEEE Transactions on Robotics"},{"issue":"1","key":"10.3233\/AIC-150682_ref76","doi-asserted-by":"crossref","first-page":"53","DOI":"10.4310\/CIS.2010.v10.n1.a4","article-title":"A motion planning approach to studying molecular motions","volume":"10","author":"Tapia","year":"2010","journal-title":"Communications in Information and Systems"},{"key":"10.3233\/AIC-150682_ref77","first-page":"133","article-title":"Automata on infinite objects","volume":"2","author":"Thomas","year":"1990","journal-title":"Handbook of Theoretical Computer Science"},{"issue":"5","key":"10.3233\/AIC-150682_ref78","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/9.384215","article-title":"Trajectory generation for the N-trailer problem using Goursat normal form","volume":"40","author":"Tilbury","year":"1995","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.3233\/AIC-150682_ref79","doi-asserted-by":"crossref","unstructured":"[79]A.\u00a0Ulusoy, M.\u00a0Marrazzo and C.\u00a0Belta, Receding horizon control in dynamic environments from temporal logic specifications, in: Robotics: Science and Systems, 2013.","DOI":"10.15607\/RSS.2013.IX.013"},{"key":"10.3233\/AIC-150682_ref80","doi-asserted-by":"crossref","unstructured":"[80]C.I.\u00a0Vasile and C.\u00a0Belta, Sampling-based temporal logic path planning, in: IEEE\/RSJ International Conference on Intelligent Robots and Systems, 2013, pp.\u00a04817\u20134822.","DOI":"10.1109\/IROS.2013.6697051"},{"key":"10.3233\/AIC-150682_ref81","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1109\/TASE.2015.2443033","article-title":"Reactive motion planning for unmanned aerial surveillance of risk-sensitive areas","volume":"12","author":"Wallar","year":"2015","journal-title":"IEEE Transactions on Automated Science and Engineering"},{"key":"10.3233\/AIC-150682_ref82","doi-asserted-by":"crossref","unstructured":"[82]J.\u00a0Wolfe, B.\u00a0Marthi and S.\u00a0Russell, Combined task and motion planning for mobile manipulation, in: International Conference on Automated Planning and Scheduling, 2010, pp.\u00a0254\u2013258.","DOI":"10.1609\/icaps.v20i1.13436"},{"key":"10.3233\/AIC-150682_ref83","doi-asserted-by":"crossref","unstructured":"[83]E.M.\u00a0Wolff, U.\u00a0Topcu and R.M.\u00a0Murray, Optimal control with weighted average costs and temporal logic specifications, in: Robotics: Science and Systems, 2012.","DOI":"10.15607\/RSS.2012.VIII.057"},{"key":"10.3233\/AIC-150682_ref84","doi-asserted-by":"crossref","unstructured":"[84]E.M.\u00a0Wolff, U.\u00a0Topcu and R.M.\u00a0Murray, Automaton-guided controller synthesis for nonlinear systems with temporal logic, in: IEEE\/RSJ International Conference on Intelligent Robots and Systems, 2013, pp.\u00a04332\u20134339.","DOI":"10.1109\/IROS.2013.6696978"},{"key":"10.3233\/AIC-150682_ref85","doi-asserted-by":"crossref","unstructured":"[85]T.\u00a0Wongpiromsarn, U.\u00a0Topcu and R.M.\u00a0Murray, Receding horizon control for temporal logic specifications, in: ACM International Conference on Hybrid Systems: Computation and Control, 2010, pp.\u00a0101\u2013110.","DOI":"10.1145\/1755952.1755968"}],"container-title":["AI Communications"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AIC-150682","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T23:31:28Z","timestamp":1748734288000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AIC-150682"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,10]]},"references-count":85,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/aic-150682","relation":{},"ISSN":["1875-8452","0921-7126"],"issn-type":[{"value":"1875-8452","type":"electronic"},{"value":"0921-7126","type":"print"}],"subject":[],"published":{"date-parts":[[2015,8,10]]}}}