{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:33:27Z","timestamp":1771472007278,"version":"3.50.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031646256","type":"print"},{"value":"9783031646263","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-64626-3_21","type":"book-chapter","created":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T13:01:58Z","timestamp":1720875718000},"page":"356-373","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Energy-Efficient Motion Planning for\u00a0Autonomous Vehicles Using Uppaal \u00a0Stratego"],"prefix":"10.1007","author":[{"given":"Muhammad","family":"Naeem","sequence":"first","affiliation":[]},{"given":"Rong","family":"Gu","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[]},{"given":"Kim","family":"Guldstrand Larsen","sequence":"additional","affiliation":[]},{"given":"Brian","family":"Nielsen","sequence":"additional","affiliation":[]},{"given":"Michele","family":"Albano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,14]]},"reference":[{"issue":"2","key":"21_CR1","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1109\/TITS.2020.3024655","volume":"23","author":"S Aradi","year":"2020","unstructured":"Aradi, S.: Survey of deep reinforcement learning for motion planning of autonomous vehicles. IEEE Trans. Intell. Transp. Syst. 23(2), 740\u2013759 (2020)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"21_CR2","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: Uppaal-tiga: timed games for everyone. In: Nordic Workshop on Programming Theory (NWPT 2006) (2006)"},{"key":"21_CR3","unstructured":"Bouton, M., Karlsson, J., Nakhaei, A., Fujimura, K., Kochenderfer, M.J., Tumova, J.: Reinforcement learning with probabilistic guarantees for autonomous driving. arXiv preprint arXiv:1904.07189 (2019)"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Brorholt, A.H., Jensen, P.G., Larsen, K.G., Lorber, F., Schilling, C.: Shielded reinforcement learning for hybrid systems. arXiv preprint arXiv:2308.14424 (2023)","DOI":"10.1007\/978-3-031-46002-9_3"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"D. Wallace, N., Kong, H., J. Hill, A., Sukkarieh, S.: Energy aware mission planning for WMRs on uneven terrains. IFAC-PapersOnLine 52(30), 149\u2013154 (2019). 6th IFAC Conference on Sensing, Control and Automation Technologies for Agriculture AGRICONTROL 2019","DOI":"10.1016\/j.ifacol.2019.12.513"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-662-46681-0_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A David","year":"2015","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.:  Uppaal Stratego. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 206\u2013211. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_16"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1016\/j.energy.2017.01.101","volume":"122","author":"Z Gao","year":"2017","unstructured":"Gao, Z., et al.: Battery capacity and recharging needs for electric buses in city transit service. Energy 122, 588\u2013600 (2017)","journal-title":"Energy"},{"issue":"2","key":"21_CR8","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1017\/S0263574711000452","volume":"30","author":"M G\u00f3mez","year":"2012","unstructured":"G\u00f3mez, M., Gonz\u00e1lez, R., Mart\u00ednez-Mar\u00edn, T., Meziat, D., S\u00e1nchez, S.: Optimal motion planning by reinforcement learning in autonomous mobile vehicles. Robotica 30(2), 159\u2013170 (2012)","journal-title":"Robotica"},{"key":"21_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102894","volume":"224","author":"R Gu","year":"2022","unstructured":"Gu, R., Jensen, P.G., Seceleanu, C., Enoiu, E., Lundqvist, K.: Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. Sci. Comput. Program. 224, 102894 (2022)","journal-title":"Sci. Comput. Program."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Henkel, C., Bubeck, A., Xu, W.: Energy efficient dynamic window approach for local path planning in mobile service robotics. IFAC-PapersOnLine 49(15), 32\u201337 (2016). 9th IFAC Symposium on Intelligent Autonomous Vehicles IAV 2016","DOI":"10.1016\/j.ifacol.2016.07.610"},{"key":"21_CR11","unstructured":"Jothimurugan, K., Hsu, S., Bastani, O., Alur, R.: Robust subtask learning for compositional generalization. In: 40th International Conference on Machine Learning (ICML 2023) (2023)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Kamgarpour, M., Ding, J., Summers, S., Abate, A., Lygeros, J., Tomlin, C.: Discrete time stochastic hybrid dynamical games: verification & controller synthesis. In: 2011 50th IEEE Conference on Decision and Control and European Control Conference, pp. 6122\u20136127. IEEE (2011)","DOI":"10.1109\/CDC.2011.6161218"},{"key":"21_CR13","unstructured":"Lascurain, M.B., et al.: Medium truck duty cycle data from real-world driving environments: project final report. ORNL\/TM-2012\/240. Oak Ridge National Laboratory, Oak Ridge, TN (2012)"},{"key":"21_CR14","unstructured":"Mei, Y., Lu, Y.H., Hu, Y., Lee, C.: Energy-efficient motion planning for mobile robots. In: IEEE International Conference on Robotics and Automation, ICRA 2004, vol.\u00a05, pp. 4344\u20134349. IEEE (2004)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Pek, C., Schuppe, G.F., Esposito, F., Tumova, J., Kragic, D.: Spatial: monitoring and planning of robotic tasks using spatio-temporal logic specifications (2023)","DOI":"10.21203\/rs.3.rs-2430844\/v1"},{"key":"21_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.robot.2019.05.009","volume":"119","author":"M Quann","year":"2019","unstructured":"Quann, M., Ojeda, L., Smith, W., Rizzo, D., Castanier, M., Barton, K.: Chance constrained reachability in environments with spatially varying energy costs. Robot. Auton. Syst. 119, 1\u201312 (2019)","journal-title":"Robot. Auton. Syst."},{"issue":"2","key":"21_CR17","doi-asserted-by":"publisher","first-page":"1579","DOI":"10.1109\/LRA.2020.2967717","volume":"5","author":"M Quann","year":"2020","unstructured":"Quann, M., Ojeda, L., Smith, W., Rizzo, D., Castanier, M., Barton, K.: Power prediction for heterogeneous ground robots through spatial mapping and sharing of terrain data. IEEE Robot. Autom. Lett. 5(2), 1579\u20131586 (2020)","journal-title":"IEEE Robot. Autom. Lett."},{"key":"21_CR18","unstructured":"Rabin, S.: A* aesthetic optimizations. In: Game Programming Gems. Charles River Media (2000)"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-27813-9_16","volume-title":"Computer Aided Verification","author":"K Sen","year":"2004","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 202\u2013215. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27813-9_16"},{"key":"21_CR20","volume-title":"Reinforcement Learning: An Introduction","author":"RS Sutton","year":"2018","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction. MIT Press, Cambridge (2018)"},{"key":"21_CR21","unstructured":"Watkins, C.J.C.H.: Learning from delayed rewards. King\u2019s College, Cambridge United Kingdom (1989)"},{"issue":"9","key":"21_CR22","doi-asserted-by":"publisher","first-page":"5975","DOI":"10.1109\/TSMC.2021.3131141","volume":"52","author":"S Xu","year":"2021","unstructured":"Xu, S., et al.: System and experiments of model-driven motion planning and control for autonomous vehicles. IEEE Trans. Syst. Man Cybern. Syst. 52(9), 5975\u20135988 (2021)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Yang, Q., Sim\u00e3o, T.D., Jansen, N., Tindemans, S.H., Spaan, M.T.: Reinforcement learning by guided safe exploration. arXiv preprint arXiv:2307.14316 (2023)","DOI":"10.3233\/FAIA230598"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64626-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T16:17:00Z","timestamp":1741796220000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64626-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031646256","9783031646263"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64626-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"14 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Theoretical Aspects of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Guiyang","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tase2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/tase2024.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}