{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:50:21Z","timestamp":1743144621507,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031781155"},{"type":"electronic","value":"9783031781162"}],"license":[{"start":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T00:00:00Z","timestamp":1732838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T00:00:00Z","timestamp":1732838400000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-78116-2_3","type":"book-chapter","created":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T07:30:30Z","timestamp":1732779030000},"page":"35-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Autonomous Vehicles Path Planning Under Temporal Logic Specifications"],"prefix":"10.1007","author":[{"given":"Akshay","family":"Dhonthi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Schischka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernst Moritz","family":"Hahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vahid","family":"Hashemi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,29]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Barbosa, F.S., Karlsson, J., Tajvar, P., Tumova, J.: Formal methods for robot motion planning with time and space constraints. In: Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24\u201326, 2021, Proceedings 19, vol. 12860, pp. 1\u201314. Springer (2021)","DOI":"10.1007\/978-3-030-85037-1_1"},{"key":"3_CR2","unstructured":"Calinon, S.: Stochastic learning and control in multiple coordinate systems. In: International Workshop on Human-Friendly Robotics, Italy, pp.\u00a01\u20135 (2016)"},{"key":"3_CR3","unstructured":"Dhonthi, A., Schillinger, P., Rozo, L., Nardi, D.: Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization. arXiv preprint arXiv:2110.00339 (2021)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Dhonthi, A., Schillinger, P., Rozo, L., Nardi, D.: Optimizing demonstrated robot manipulation skills for temporal logic constraints. In: 2022 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 1255\u20131262. IEEE (2022)","DOI":"10.1109\/IROS47612.2022.9981384"},{"key":"3_CR5","doi-asserted-by":"crossref","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 (2005)","DOI":"10.1109\/ROBOT.2005.1570410"},{"issue":"7","key":"3_CR6","doi-asserted-by":"publisher","first-page":"846","DOI":"10.1177\/0278364911406761","volume":"30","author":"S Karaman","year":"2011","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based algorithms for optimal motion planning. Int. J. Robot. Res. 30(7), 846\u2013894 (2011)","journal-title":"Int. J. Robot. Res."},{"key":"3_CR7","volume-title":"Wheeled Mobile Robotics: from Fundamentals Towards Autonomous Systems","author":"G Klancar","year":"2017","unstructured":"Klancar, G., Zdesar, A., Blazic, S., Skrjanc, I.: Wheeled Mobile Robotics: from Fundamentals Towards Autonomous Systems. Butterworth-Heinemann (2017)"},{"issue":"9","key":"3_CR8","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1177\/0278364919856695","volume":"38","author":"B Lacerda","year":"2019","unstructured":"Lacerda, B., Faruq, F., Parker, D., Hawes, N.: Probabilistic planning with formal performance guarantees for mobile service robots. Int. J. Robot. Res. 38(9), 1098\u20131123 (2019)","journal-title":"Int. J. Robot. Res."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Mehdipour, N., Vasile, C.I., Belta, C.: Arithmetic-geometric mean robustness for control from signal temporal logic specifications. In: 2019 American Control Conference (ACC), pp. 1690\u20131695. IEEE (2019)","DOI":"10.23919\/ACC.2019.8814487"},{"key":"3_CR10","unstructured":"Murphy, K.P.: Hidden Semi-Markov Models (HSMMs) (2002)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Palin, R., Ward, D., Habli, I., Rivett, R.: ISO 26262 safety Cases: Compliance and Assurance (2011)","DOI":"10.1049\/cp.2011.0251"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.robot.2017.03.017","volume":"93","author":"E Pignat","year":"2017","unstructured":"Pignat, E., Calinon, S.: Learning adaptive dressing assistance from human demonstration. Robot. Auton. Syst. 93, 61\u201375 (2017)","journal-title":"Robot. Auton. Syst."},{"key":"3_CR13","volume-title":"Safety of the Intended Functionality","author":"J Pimentel","year":"2019","unstructured":"Pimentel, J.: Safety of the Intended Functionality, vol. 3. SAE International (2019)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Rizaldi, A., Immler, F., Sch\u00fcrmann, B., Althoff, M.: A formally verified motion planner for autonomous vehicles. In: International Symposium on Automated Technology for Verification and Analysis, vol. 11138, pp. 75\u201390. Springer (2018)","DOI":"10.1007\/978-3-030-01090-4_5"},{"key":"3_CR15","unstructured":"Ruihua, H.: Intelligent Robot Simulator (IR-SIM) (2024). https:\/\/github.com\/hanruihua\/ir_sim\/releases\/tag\/v2.1.0"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Tanwani, A.K., et al.: Generalizing robot imitation learning with invariant hidden semi-Markov models. In: Algorithmic Foundations of Robotics XIII: Proceedings of the 13th Workshop on the Algorithmic Foundations of Robotics 13, pp. 196\u2013211. Springer (2020)","DOI":"10.1007\/978-3-030-44051-0_12"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Tassa, Y., Erez, T., Todorov, E.: Synthesis and stabilization of complex behaviors through online trajectory optimization. In: 2012 IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 4906\u20134913. IEEE (2012)","DOI":"10.1109\/IROS.2012.6386025"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Varnai, P., Dimarogonas, D.V.: On robustness metrics for learning STL tasks. In: 2020 American Control Conference (ACC), pp. 5394\u20135399. IEEE (2020)","DOI":"10.23919\/ACC45564.2020.9147692"},{"issue":"3","key":"3_CR19","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1109\/TIV.2022.3150748","volume":"7","author":"J Wang","year":"2022","unstructured":"Wang, J., Li, T., Li, B., Meng, M.Q.H.: GMR-RRT*: sampling-based path planning using gaussian mixture regression. IEEE Trans. Intell. Veh. 7(3), 690\u2013700 (2022)","journal-title":"IEEE Trans. Intell. Veh."}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-78116-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T09:03:57Z","timestamp":1732784637000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-78116-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,29]]},"ISBN":["9783031781155","9783031781162"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-78116-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,29]]},"assertion":[{"value":"29 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vit\u00f3ria","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","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":"3 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}