{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:05:49Z","timestamp":1743145549113,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030850364"},{"type":"electronic","value":"9783030850371"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-85037-1_1","type":"book-chapter","created":{"date-parts":[[2021,8,15]],"date-time":"2021-08-15T23:03:01Z","timestamp":1629068581000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Fernando S.","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Jesper","family":"Karlsson","sequence":"additional","affiliation":[]},{"given":"Pouria","family":"Tajvar","sequence":"additional","affiliation":[]},{"given":"Jana","family":"Tumova","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,8,16]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Andersson, S., Nikou, A., Dimarogonas, D.V.: Control synthesis for multi-agent systems under metric interval temporal logic specifications. IFAC-PapersOnLine 50(1), 2397\u20132402 (2017)","DOI":"10.1016\/j.ifacol.2017.08.432"},{"key":"1_CR2","unstructured":"Barbosa, F.S., Duberg, D., Jensfelt, P., Tumova, J.: Guiding autonomous exploration with signal temporal logic. IEEE Robot. Autom. Lett. 4(4), 3332\u20133339 (2019)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Barbosa, F.S., Lindemann, L., Dimarogonas, D.V., Tumova, J.: Integrated motion planning and control under metric interval temporal logic specifications. In: 2019 18th European Control Conference (ECC), pp. 2042\u20132049. IEEE (2019)","DOI":"10.23919\/ECC.2019.8795925"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Kavraki, L.E., Vardi, M.Y.: Sampling-based motion planning with temporal goals. In: 2010 IEEE International Conference on Robotics and Automation, pp. 2689\u20132696. IEEE (2010)","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Bircher, A., Kamel, M., Alexis, K., Oleynikova, H., Siegwart, R.: Receding horizon \u201cnext-best-view\" planner for 3D exploration. In: 2016 IEEE International Conference on Robotics and Automation (ICRA), pp. 1462\u20131468. IEEE (2016)","DOI":"10.1109\/ICRA.2016.7487281"},{"key":"1_CR6","unstructured":"Castro, L.I.R., Chaudhari, P., Tumova, J., Karaman, S., Frazzoli, E., Rus, D.: Incremental sampling-based algorithm for minimum-violation motion planning. In: 52nd IEEE Conference on Decision and Control, pp. 3217\u20133224. IEEE (2013)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Herbert, S.L., Chen, M., Han, S., Bansal, S., Fisac, J.F., Tomlin, C.J.: FaSTrack: a modular framework for fast and guaranteed safe motion planning. In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pp. 1517\u20131522. IEEE (2017)","DOI":"10.1109\/CDC.2017.8263867"},{"key":"1_CR8","unstructured":"Hoxha, B., Fainekos, G.: Planning in dynamic environments through temporal logic monitoring. In: Workshops at the Thirtieth AAAI Conference on Artificial Intelligence (2016)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based motion planning with deterministic $$\\mu $$-calculus specifications. In: Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, pp. 2222\u20132229. IEEE (2009)","DOI":"10.1109\/CDC.2009.5400278"},{"key":"1_CR10","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based algorithms for optimal motion planning. Int. J. Robot. Res. 30(7), 846\u2013894 (2011)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Karlsson, J., Barbosa, F.S., Tumova, J.: Sampling-based motion planning with temporal logic missions and spatial preferences. IFAC-PapersOnLine 53(2), 15537\u201315543 (2020)","DOI":"10.1016\/j.ifacol.2020.12.2397"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Karlsson, J., Vasile, C.I., Tumova, J., Karaman, S., Rus, D.: Multi-vehicle motion planning for social optimal mobility-on-demand. In: 2018 IEEE International Conference on Robotics and Automation (ICRA), pp. 7298\u20137305. IEEE (2018)","DOI":"10.1109\/ICRA.2018.8462968"},{"key":"1_CR13","unstructured":"Kloetzer, M., Belta, C.: A fully automated framework for control of linear systems from temporal logic specifications. IEEE Trans. Autom. Control 53(1), 287\u2013297 (2008)"},{"key":"1_CR14","unstructured":"Kress-Gazit, H., Fainekos, G.E., Pappas, G.J.: Temporal-logic-based reactive mission and motion planning. IEEE Trans. Robot. 25(6), 1370\u20131381 (2009)"},{"key":"1_CR15","unstructured":"Kress-Gazit, H., Lahijanian, M., Raman, V.: Synthesis for robots: guarantees and feedback for robot behavior. Annu. Rev. Control Robot. Auton. Syst. 1, 211\u2013236 (2018)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"LaValle, S.M.: Planning Algorithms. Cambridge University Press (2006)","DOI":"10.1017\/CBO9780511546877"},{"key":"1_CR17","unstructured":"Lindemann, L., Dimarogonas, D.V.: Control barrier functions for signal temporal logic tasks. IEEE Control Syst. Lett. 3(1), 96\u2013101 (2019)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Luo, X., Kantaros, Y., Zavlanos, M.M.: An abstraction-free method for multirobot temporal logic optimal control synthesis. IEEE Trans. Robot. (2021)","DOI":"10.1109\/TRO.2021.3061983"},{"key":"1_CR19","unstructured":"Majumdar, A., Tedrake, R.: Funnel libraries for real-time robust feedback motion planning. Int. J. Robot. Res. 36(8), 947\u2013982 (2017)"},{"key":"1_CR20","doi-asserted-by":"publisher","unstructured":"Montana, F.J., Liu, J., Dodd, T.J.: Sampling-based reactive motion planning with temporal logic constraints and imperfect state information. In: Critical Systems: Formal Methods and Automated Verification, pp. 134\u2013149. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-67113-0_9","DOI":"10.1007\/978-3-319-67113-0_9"},{"key":"1_CR21","unstructured":"Selin, M., Tiger, M., Duberg, D., Heintz, F., Jensfelt, P.: Efficient autonomous exploration planning of large-scale 3-D environments. IEEE Robot. Autom. Lett. 4(2), 1699\u20131706 (2019)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Singh, S., Majumdar, A., Slotine, J.J., Pavone, M.: Robust online motion planning via contraction theory and convex optimization. In: 2017 IEEE International Conference on Robotics and Automation (ICRA), pp. 5883\u20135890. IEEE (2017)","DOI":"10.1109\/ICRA.2017.7989693"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Tajvar, P., Barbosa, F.S., Tumova, J.: Safe motion planning for an uncertain non-holonomic system with temporal logic specification. In: 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE), pp. 349\u2013354. IEEE (2020)","DOI":"10.1109\/CASE48305.2020.9216891"},{"key":"1_CR24","unstructured":"Tedrake, R., Manchester, I.R., Tobenkin, M., Roberts, J.W.: LQR-trees: feedback motion planning via sums-of-squares verification. Int. J. Robot. Res. 29(8), 1038\u20131052 (2010)"},{"key":"1_CR25","unstructured":"Vasile, C.I., Li, X., Belta, C.: Reactive sampling-based path planning with temporal logic specifications. Int. J. Robot. Res. 39(8), 1002\u20131028 (2020)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Vasile, C.I., Raman, V., Karaman, S.: Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. In: 2017 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 3840\u20133847. IEEE (2017)","DOI":"10.1109\/IROS.2017.8206235"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Vasile, C.I., Tumova, J., Karaman, S., Belta, C., Rus, D.: Minimum-violation scltl motion planning for mobility-on-demand. In: 2017 IEEE International Conference on Robotics and Automation (ICRA), pp. 1481\u20131488. IEEE (2017)","DOI":"10.1109\/ICRA.2017.7989177"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Maity, D., Baras, J.S.: Timed automata approach for motion planning using metric interval temporal logic. In: 2016 European Control Conference (ECC), pp. 690\u2013695. IEEE (2016)","DOI":"10.1109\/ECC.2016.7810369"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-85037-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T11:51:30Z","timestamp":1673092290000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-85037-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030850364","9783030850371"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-85037-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"16 August 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 August 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"formats2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/qonfest2021.lacl.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}