{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T01:05:23Z","timestamp":1760144723134,"version":"build-2065373602"},"reference-count":53,"publisher":"MDPI AG","issue":"10","license":[{"start":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T00:00:00Z","timestamp":1715212800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Institute of Information &amp; Communications Technology Planning &amp; Evaluation(IITP)","award":["IITP-2024-RS-2023-00259678"],"award-info":[{"award-number":["IITP-2024-RS-2023-00259678"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>The presented paper introduces a novel path planning algorithm designed for generating low-cost trajectories that fulfill mission requirements expressed in Linear Temporal Logic (LTL). The proposed algorithm is particularly effective in environments where cost functions encompass the entire configuration space. A core contribution of this paper is the presentation of a refined approach to sampling-based path planning algorithms that aligns with the specified mission objectives. This enhancement is achieved through a multi-layered framework approach, enabling a simplified discrete abstraction without relying on mesh decomposition. This abstraction is especially beneficial in complex or high-dimensional environments where mesh decomposition is challenging. The discrete abstraction effectively guides the sampling process, influencing the selection of vertices for extension and target points for steering in each iteration. To further improve efficiency, the algorithm incorporates a deep learning-based extension, utilizing training data to accurately model the optimal trajectory distribution between two points. The effectiveness of the proposed method is demonstrated through simulated tests, which highlight its ability to identify low-cost trajectories that meet specific mission criteria. Comparative analyses also confirm the superiority of the proposed method compared to existing methods.<\/jats:p>","DOI":"10.3390\/s24102998","type":"journal-article","created":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T05:16:45Z","timestamp":1715231805000},"page":"2998","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Deep Learning-Enhanced Sampling-Based Path Planning for LTL Mission Specifications"],"prefix":"10.3390","volume":"24","author":[{"given":"Changmin","family":"Baek","sequence":"first","affiliation":[{"name":"Department of Information and Telecommunication Engineering, Incheon National University, Incheon 22012, Republic of Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4679-6660","authenticated-orcid":false,"given":"Kyunghoon","family":"Cho","sequence":"additional","affiliation":[{"name":"Department of Information and Telecommunication Engineering, Incheon National University, Incheon 22012, Republic of Korea"}]}],"member":"1968","published-online":{"date-parts":[[2024,5,9]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"eabd9461","DOI":"10.1126\/scirobotics.abd9461","article-title":"Toward next-generation learned robot manipulation","volume":"6","author":"Cui","year":"2021","journal-title":"Sci. Robot."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"3295","DOI":"10.1109\/LRA.2021.3063063","article-title":"Path planning for manipulation using experience-driven random trees","volume":"6","author":"Pairet","year":"2021","journal-title":"IEEE Int. Conf. Robot. Autom."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/TRO.2021.3096070","article-title":"Constrained motion planning networks x","volume":"38","author":"Qureshi","year":"2021","journal-title":"IEEE Trans. Robot."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Xu, K., Yu, H., Huang, R., Guo, D., Wang, Y., and Xiong, R. (2022, January 23\u201327). Efficient Object Manipulation to an Arbitrary Goal Pose: Learning-based Anytime Prioritized Planning. Proceedings of the IEEE International Conference on Robotics and Automation, Philadelphia, PA, USA.","DOI":"10.1109\/ICRA46639.2022.9811547"},{"key":"ref_5","unstructured":"Nair, S., Rajeswaran, A., Kumar, V., Finn, C., and Gupta, A. (2022, January 14\u201318). R3m: A universal visual representation for robot manipulation. Proceedings of the Conference on Robot Learning, Auckland, New Zealand."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1177\/0278364919859436","article-title":"Confidence-aware motion prediction for real-time collision avoidance1","volume":"39","author":"Bajcsy","year":"2020","journal-title":"Int. J. Robot. Res."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1109\/TNNLS.2020.2977924","article-title":"Learning with stochastic guidance for robot navigation","volume":"32","author":"Xie","year":"2020","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"key":"ref_8","unstructured":"Eiffert, S., Kong, H., Pirmarzdashti, N., and Sukkarieh, S. (August, January 31). Path planning in dynamic environments using generative rnns and monte carlo tree search. Proceedings of the IEEE International Conference on Robotics and Automation, Paris, France."},{"key":"ref_9","unstructured":"Lin, J., Zhou, T., Zhu, D., Liu, J., and Meng, M.Q.H. (June, January 30). Search-Based Online Trajectory Planning for Car-like Robots in Highly Dynamic Environments. Proceedings of the IEEE International Conference on Robotics and Automation, Xi\u2019an, China."},{"key":"ref_10","unstructured":"Hayat, S., Yanmaz, E., Brown, T.X., and Bettstetter, C. (June, January 29). Multi-objective UAV path planning for search and rescue. Proceedings of the IEEE International Conference on Robotics and Automation, Singapore."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"3662","DOI":"10.1109\/LRA.2018.2854967","article-title":"Energy-aware spiral coverage path planning for uav photogrammetric applications","volume":"3","author":"Cabreira","year":"2018","journal-title":"IEEE Robot. Autom. Lett."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"25546","DOI":"10.1109\/TITS.2021.3066240","article-title":"A clustering-based coverage path planning method for autonomous heterogeneous UAVs","volume":"23","author":"Chen","year":"2021","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"4751","DOI":"10.1109\/LRA.2020.3003881","article-title":"Collaborative mission planning for long-term operation considering energy limitations","volume":"5","author":"Li","year":"2020","journal-title":"IEEE Robot. Autom. Lett."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/s10514-021-10028-3","article-title":"Cooperative multi-UAV coverage mission planning platform for remote sensing applications","volume":"46","author":"Apostolidis","year":"2022","journal-title":"Auton. Robot."},{"key":"ref_15","unstructured":"Fainekos, G.E., Kress-Gazit, H., and Pappas, G.J. (2005, January 18\u201322). Temporal logic motion planning for mobile robots. Proceedings of the IEEE International Conference on Robotics and Automation, Barcelona, Spain."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Karaman, S., and Frazzoli, E. (2009, January 15\u201318). Sampling-based motion planning with deterministic \u03bc-calculus specifications. Proceedings of the 48th IEEE Conference on Decision and Control (CDC) Held Jointly with 2009 28th Chinese Control Conference, Shanghai, China.","DOI":"10.1109\/CDC.2009.5400278"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Lahijanian, M., Wasniewski, J., Andersson, S.B., and Belta, C. (2010, January 3\u20137). Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. Proceedings of the IEEE International Conference on Robotics and Automation, Anchorage, AK, USA.","DOI":"10.1109\/ROBOT.2010.5509686"},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Huang, Y., Wang, N., and Li, J. (2021, January 15\u201317). A task planning method for multi-UAV from local LTL specifications. Proceedings of the IEEE International Conference on Unmanned Systems, Beijing, China.","DOI":"10.1109\/ICUS52573.2021.9641404"},{"key":"ref_19","unstructured":"Purohit, P., and Saha, I. (October, January 27). DT: Temporal logic path planning in a dynamic environment. Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems, Prague, Czech Republic."},{"key":"ref_20","unstructured":"Nenchev, V., and Belta, C. (July, January 29). Receding horizon robot control in partially unknown environments with temporal logic constraints. Proceedings of the European Control Conference, Aalborg, Denmark."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"1279","DOI":"10.1109\/LCSYS.2020.3032845","article-title":"Receding horizon control-based motion planning with partially infeasible LTL constraints","volume":"5","author":"Cai","year":"2020","journal-title":"IEEE Control Syst. Lett."},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Ichter, B., Harrison, J., and Pavone, M. (2018, January 21\u201325). Learning sampling distributions for robot motion planning. Proceedings of the IEEE International Conference on Robotics and Automation, Brisbane, QLD, Australia.","DOI":"10.1109\/ICRA.2018.8460730"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"2407","DOI":"10.1109\/LRA.2019.2901898","article-title":"Robot motion planning in learned latent spaces","volume":"4","author":"Ichter","year":"2019","journal-title":"IEEE Robot. Autom. Lett."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"1748","DOI":"10.1109\/TASE.2020.2976560","article-title":"Neural RRT*: Learning-based optimal path planning","volume":"17","author":"Wang","year":"2020","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"25865","DOI":"10.1109\/ACCESS.2023.3257185","article-title":"Learning-based path planning under co-safe temporal logic specifications","volume":"11","author":"Cho","year":"2023","journal-title":"IEEE Access"},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"846","DOI":"10.1177\/0278364911406761","article-title":"Sampling-based algorithms for optimal motion planning","volume":"30","author":"Karaman","year":"2011","journal-title":"Int. J. Robot. Res."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1177\/0278364911417911","article-title":"Optimal path planning for surveillance with temporal logic constraints","volume":"30","author":"Smith","year":"2011","journal-title":"Int. J. Robot. Res."},{"key":"ref_28","first-page":"449","article-title":"Optimal Control with Weighted Average Costs and Temporal Logic Specifications","volume":"8","author":"Wolff","year":"2013","journal-title":"Robot. Sci. Syst."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1177\/02783640122067453","article-title":"Randomized kinodynamic planning","volume":"20","author":"LaValle","year":"2001","journal-title":"Int. J. Robot. Res."},{"key":"ref_30","unstructured":"Choset, H., Lynch, K.M., Hutchinson, S., Kantor, G., Burgard, W., Kavraki, L.E., and Thrun, S. (2005). Principles of Robot Motion: Theory, Algorithms, and Implementation, MIT Press."},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"LaValle, S.M. (2006). Planning Algorithms, Cambridge University Press.","DOI":"10.1017\/CBO9780511546877"},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Karaman, S., and Frazzoli, E. (2012, January 27\u201329). Sampling-based algorithms for optimal motion planning with deterministic \u03bc-calculus specifications. Proceedings of the IEEE American Control Conference, Montreal, QC, Canada.","DOI":"10.1109\/ACC.2012.6315419"},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Karaman, S., Sanfelice, R.G., and Frazzoli, E. (2008, January 9\u201311). Optimal control of mixed logical dynamical systems with linear temporal logic specifications. Proceedings of the IEEE Conference on Decision and Control, Cancun, Mexico.","DOI":"10.1109\/CDC.2008.4739370"},{"key":"ref_34","unstructured":"Wolff, E.M., Topcu, U., and Murray, R.M. (June, January 31). Optimization-based control of nonlinear systems with linear temporal logic specifications. Proceedings of the IEEE International Conference on Robotics and Automation, Hong Kong, China."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Kavraki, L.E., and Vardi, M.Y. (2010, January 3\u20137). Sampling-based motion planning with temporal goals. Proceedings of the IEEE International Conference on Robotics and Automation, Anchorage, AK, USA.","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Plaku, E. (2012, January 20\u201323). Planning in discrete and continuous spaces: From LTL tasks to robot motions. Proceedings of the Towards Autonomous Robotic Systems, Bristol, UK.","DOI":"10.1007\/978-3-642-32527-4_30"},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"McMahon, J., and Plaku, E. (2014, January 14\u201318). Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic. Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, USA.","DOI":"10.1109\/IROS.2014.6943085"},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"74815","DOI":"10.1109\/ACCESS.2022.3191434","article-title":"A hierarchical learning approach to autonomous driving using rule specifications","volume":"10","author":"Cho","year":"2022","journal-title":"IEEE Access"},{"key":"ref_39","unstructured":"Aloor, J.J., Patrikar, J., Kapoor, P., Oh, J., and Scherer, S. (June, January 29). Follow the rules: Online signal temporal logic tree search for guided imitation learning in stochastic domains. Proceedings of the IEEE International Conference on Robotics and Automation, London, UK."},{"key":"ref_40","unstructured":"Wang, Y., Figueroa, N., Li, S., Shah, A., and Shah, J. (2022). Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations. arXiv."},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Dhonthi, A., Schillinger, P., Rozo, L., and Nardi, D. (2022, January 23\u201327). Optimizing demonstrated robot manipulation skills for temporal logic constraints. Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems, Kyoto, Japan.","DOI":"10.1109\/IROS47612.2022.9981384"},{"key":"ref_42","unstructured":"Baier, C., and Katoen, J.P. (2008). Principles of Model Checking, MIT Press."},{"key":"ref_43","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":"Form. Asp. Comput."},{"key":"ref_44","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":"Form. Methods Syst. Des."},{"key":"ref_45","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 Trans. Robot."},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"2308","DOI":"10.1109\/LRA.2017.2727514","article-title":"Cost-aware path planning under co-safe temporal logic specifications","volume":"2","author":"Cho","year":"2017","journal-title":"IEEE Robot. Autom. Lett."},{"key":"ref_47","unstructured":"Sohn, K., Lee, H., and Yan, X. (2015). Learning structured output representation using deep conditional generative models. Proc. Adv. Neural Inf. Process. Syst., 28."},{"key":"ref_48","unstructured":"Sutskever, I., Vinyals, O., and Le, Q.V. (2014). Sequence to sequence learning with neural networks. Adv. Neural Inf. Process. Syst., 27."},{"key":"ref_49","doi-asserted-by":"crossref","unstructured":"Lee, N., Choi, W., Vernaza, P., Choy, C.B., Torr, P.H., and Chandraker, M. (2017, January 21\u201326). Desire: Distant future prediction in dynamic scenes with interacting agents. Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, Honolulu, HI, USA.","DOI":"10.1109\/CVPR.2017.233"},{"key":"ref_50","doi-asserted-by":"crossref","unstructured":"Schmerling, E., Leung, K., Vollprecht, W., and Pavone, M. (2018, January 21\u201325). Multimodal probabilistic model-based planning for human-robot interaction. Proceedings of the IEEE International Conference on Robotics and Automation, Brisbane, QLD, Australia.","DOI":"10.1109\/ICRA.2018.8460766"},{"key":"ref_51","doi-asserted-by":"crossref","first-page":"1735","DOI":"10.1162\/neco.1997.9.8.1735","article-title":"Long short-term memory","volume":"9","author":"Hochreiter","year":"1997","journal-title":"Neural Comput."},{"key":"ref_52","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1177\/0278364912444543","article-title":"Cross-entropy motion planning","volume":"31","author":"Kobilarov","year":"2012","journal-title":"Int. J. Robot. Res."},{"key":"ref_53","unstructured":"(2024, March 23). Traffic Accidents in Helsinki. Available online: http:\/\/www.hri.fi\/en\/dataset\/liikenneonnettomuudet-helsingissa."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/24\/10\/2998\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T14:42:31Z","timestamp":1760107351000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/24\/10\/2998"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,9]]},"references-count":53,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2024,5]]}},"alternative-id":["s24102998"],"URL":"https:\/\/doi.org\/10.3390\/s24102998","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2024,5,9]]}}}