{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:56:29Z","timestamp":1772027789891,"version":"3.50.1"},"reference-count":67,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2020,9,14]],"date-time":"2020-09-14T00:00:00Z","timestamp":1600041600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,9,14]],"date-time":"2020-09-14T00:00:00Z","timestamp":1600041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100002765","name":"Bundesministerium f\u00fcr Wirtschaft und Technologie","doi-asserted-by":"publisher","award":["Ko-HAF"],"award-info":[{"award-number":["Ko-HAF"]}],"id":[{"id":"10.13039\/501100002765","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["AL 1185\/7-1"],"award-info":[{"award-number":["AL 1185\/7-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["AL 1185\/3-2"],"award-info":[{"award-number":["AL 1185\/3-2"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"name":"BMW Group within the CAR@TUM project"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Mach Intell"],"DOI":"10.1038\/s42256-020-0225-y","type":"journal-article","created":{"date-parts":[[2020,9,14]],"date-time":"2020-09-14T16:04:18Z","timestamp":1600099458000},"page":"518-528","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":129,"title":["Using online verification to prevent autonomous vehicles from causing accidents"],"prefix":"10.1038","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7461-920X","authenticated-orcid":false,"given":"Christian","family":"Pek","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6506-158X","authenticated-orcid":false,"given":"Stefanie","family":"Manzinger","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4705-4148","authenticated-orcid":false,"given":"Markus","family":"Koschi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3733-842X","authenticated-orcid":false,"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,14]]},"reference":[{"key":"225_CR1","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/j.aap.2017.11.001","volume":"110","author":"F Favar\u00f2","year":"2018","unstructured":"Favar\u00f2, F., Eurich, S. & Nader, N. Autonomous vehicles\u2019 disengagements: trends, triggers and regulatory limitations. Accid. Anal. Prev. 110, 136\u2013148 (2018).","journal-title":"Accid. Anal. Prev."},{"key":"225_CR2","doi-asserted-by":"crossref","unstructured":"Anderson, J. M. et al. Autonomous Vehicle Technology: A Guide for Policymakers (Rand Corporation, 2016).","DOI":"10.7249\/RR443-2"},{"key":"225_CR3","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MITS.2016.2583491","volume":"9","author":"P Koopman","year":"2017","unstructured":"Koopman, P. & Wagner, M. Autonomous vehicle safety: an interdisciplinary challenge. IEEE Intell. Transportation Syst. Mag. 9, 90\u201396 (2017).","journal-title":"IEEE Intell. Transportation Syst. Mag."},{"key":"225_CR4","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/j.tra.2016.09.010","volume":"94","author":"N Kalra","year":"2016","unstructured":"Kalra, N. & Paddock, S. M. Driving to safety: how many miles of driving would it take to demonstrate autonomous vehicle reliability? Transportation Res. A Policy Practice 94, 182\u2013193 (2016).","journal-title":"Transportation Res. A Policy Practice"},{"key":"225_CR5","unstructured":"Seshia, S. A., Sadigh, D. & Sastry, S. S. Towards verified artificial intelligence. Preprint at https:\/\/arxiv.org\/abs\/1606.08514 (2017)."},{"key":"225_CR6","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1146\/annurev-control-060117-105157","volume":"1","author":"W Schwarting","year":"2018","unstructured":"Schwarting, W., Alonso-Mora, J. & Rus, D. Planning and decision-making for autonomous vehicles. Annu. Rev. Control Robot. Autonomous Syst. 1, 187\u2013210 (2018).","journal-title":"Annu. Rev. Control Robot. Autonomous Syst."},{"key":"225_CR7","unstructured":"United Nations Economic Commission for Europe. Convention on Road Traffic. United Nations Conference on Road Traffic (United Nations, 1968); consolidated version of 2006."},{"key":"225_CR8","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1109\/TITS.2012.2225104","volume":"14","author":"B Vanholme","year":"2013","unstructured":"Vanholme, B., Gruyer, D., Lusetti, B., Glaser, S. & Mammar, S. Highly automated driving on highways based on legal safety. IEEE Trans. Intell. Transportation Syst. 14, 333\u2013347 (2013).","journal-title":"IEEE Trans. Intell. Transportation Syst."},{"key":"225_CR9","doi-asserted-by":"publisher","first-page":"903","DOI":"10.1109\/TRO.2014.2312453","volume":"30","author":"M Althoff","year":"2014","unstructured":"Althoff, M. & Dolan, J. M. Online verification of automated road vehicles using reachability analysis. IEEE Trans. Robotics 30, 903\u2013918 (2014).","journal-title":"IEEE Trans. Robotics"},{"key":"225_CR10","doi-asserted-by":"publisher","first-page":"15","DOI":"10.4271\/2016-01-0128","volume":"4","author":"P Koopman","year":"2016","unstructured":"Koopman, P. & Wagner, M. Challenges in autonomous vehicle testing and validation. SAE Int. J. Transportation Safety 4, 15\u201324 (2016).","journal-title":"SAE Int. J. Transportation Safety"},{"key":"225_CR11","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1109\/TIV.2018.2886682","volume":"4","author":"J Dahl","year":"2019","unstructured":"Dahl, J., de Campos, G. R., Olsson, C. & Fredriksson, J. Collision avoidance: a literature review on threat-assessment techniques. IEEE Trans. Intell. Vehicles 4, 101\u2013113 (2019).","journal-title":"IEEE Trans. Intell. Vehicles"},{"key":"225_CR12","doi-asserted-by":"crossref","unstructured":"Tumova, J., Hall, G. C., Karaman, S., Frazzoli, E. & Rus, D. Least-violating control strategy synthesis with safety rules. In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control 1\u201310 (HSCC, 2013).","DOI":"10.1145\/2461328.2461330"},{"key":"225_CR13","doi-asserted-by":"publisher","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","volume":"25","author":"H Kress-Gazit","year":"2009","unstructured":"Kress-Gazit, H., Fainekos, G. E. & Pappas, G. J. Temporal-logic-based reactive mission and motion planning. IEEE Trans. Robotics 25, 1370\u20131381 (2009).","journal-title":"IEEE Trans. Robotics"},{"key":"225_CR14","doi-asserted-by":"crossref","unstructured":"Fraichard, T. & Asama, H. Inevitable collision states\u2014a step towards safer robots? In Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems 388\u2013393 (IEEE, 2003).","DOI":"10.1109\/IROS.2003.1250659"},{"key":"225_CR15","unstructured":"Chan, N., Kuffner, J. & Zucker, M. Improved motion planning speed and safety using regions of inevitable collision. In 17th CISM-IFToMM Symposium on Robot Design, Dynamics and Control 103\u2013114 (Springer, 2008)."},{"key":"225_CR16","doi-asserted-by":"crossref","unstructured":"Koller, T., Berkenkamp, F., Turchetta, M. & Krause, A. Learning-based model predictive control for safe exploration. In Proceedings of the 2018 IEEE International Conference on Decision and Control 6059\u20136066 (IEEE, 2018).","DOI":"10.1109\/CDC.2018.8619572"},{"key":"225_CR17","doi-asserted-by":"crossref","unstructured":"Wabersich, K. P. & Zeilinger, M. N. Linear model predictive safety certification for learning-based control. In Proceedings of the IEEE International Conference on Decision and Control 7130\u20137135 (IEEE, 2018).","DOI":"10.1109\/CDC.2018.8619829"},{"key":"225_CR18","doi-asserted-by":"crossref","unstructured":"Sadraddini, S. & Belta, C. A provably correct MPC approach to safety control of urban traffic networks. In Proceedings of the American Control Conference 1679\u20131684 (2016).","DOI":"10.1109\/ACC.2016.7525158"},{"key":"225_CR19","doi-asserted-by":"crossref","unstructured":"Ames, A. D. et al. Control barrier functions: theory and applications. In Proceedings of the 18th European Control Conference 3420\u20133431 (IEEE, 2019).","DOI":"10.23919\/ECC.2019.8796030"},{"key":"225_CR20","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1177\/0278364910369189","volume":"29","author":"R Tedrake","year":"2010","unstructured":"Tedrake, R., Manchester, I. R., Tobenkin, M. & Roberts, J. W. LQR-trees: feedback motion planning via sums-of-squares verification. Int. J. Robotics Res. 29, 1038\u20131052 (2010).","journal-title":"Int. J. Robotics Res."},{"key":"225_CR21","doi-asserted-by":"crossref","unstructured":"Li, W., Sadigh, D., Sastry, S. S. & Seshia, S. A. Synthesis for human-in-the-loop control systems. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems 470\u2013484 (Springer, 2014).","DOI":"10.1007\/978-3-642-54862-8_40"},{"key":"225_CR22","doi-asserted-by":"crossref","unstructured":"Jalalmaab, M., Fidan, B., Jeon, S. & Falcone, P. Guaranteeing persistent feasibility of model predictive motion planning for autonomous vehicles. In Proceedings of the 2017 IEEE Intelligent Vehicles Symposium 843\u2013848 (IEEE, 2017).","DOI":"10.1109\/IVS.2017.7995821"},{"key":"225_CR23","doi-asserted-by":"crossref","unstructured":"Danielson, C., Weiss, A., Berntorp, K. & Di Cairano, S. Path planning using positive invariant sets. In Proceedings of the 55th International Conference on Decision and Control 5986\u20135991 (IEEE, 2016).","DOI":"10.1109\/CDC.2016.7799188"},{"key":"225_CR24","doi-asserted-by":"crossref","unstructured":"Herbert, S. L. et al. FaSTrack: a modular framework for fast and guaranteed safe motion planning. In Proceedings of the 56th International Conference on Decision and Control 1517\u20131522 (IEEE, 2017).","DOI":"10.1109\/CDC.2017.8263867"},{"key":"225_CR25","doi-asserted-by":"publisher","first-page":"1352","DOI":"10.1109\/TITS.2011.2158210","volume":"12","author":"P Falcone","year":"2011","unstructured":"Falcone, P., Ali, M. & Sj\u00f6berg, J. Predictive threat assessment via reachability analysis and set invariance theory. IEEE Trans. Intell. Transportation Syst. 12, 1352\u20131361 (2011).","journal-title":"IEEE Trans. Intell. Transportation Syst."},{"key":"225_CR26","doi-asserted-by":"crossref","unstructured":"Vaskov, S. et al. Towards provably not-at-fault control of autonomous robots in arbitrary dynamic environments. In Proc. Robotics: Science and Systems 1\u20139 (2019).","DOI":"10.15607\/RSS.2019.XV.051"},{"key":"225_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s40648-014-0001-z","volume":"1","author":"S Lef\u00e8vre","year":"2014","unstructured":"Lef\u00e8vre, S., Vasquez, D. & Laugier, C. A survey on motion prediction and risk assessment for intelligent vehicles. ROBOMECH J. 1, 1\u201314 (2014).","journal-title":"ROBOMECH J."},{"key":"225_CR28","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/MITS.2014.2357038","volume":"7","author":"T Gindele","year":"2015","unstructured":"Gindele, T., Brechtel, S. & Dillmann, R. Learning driver behavior models from traffic observations for decision making and planning. IEEE Intell. Transportation Syst. Mag. 7, 69\u201379 (2015).","journal-title":"IEEE Intell. Transportation Syst. Mag."},{"key":"225_CR29","doi-asserted-by":"publisher","first-page":"1538","DOI":"10.1109\/TITS.2015.2506642","volume":"17","author":"M Bahram","year":"2016","unstructured":"Bahram, M., Hubmann, C., Lawitzky, A., Aeberhard, M. & Wollherr, D. A combined model- and learning-based framework for interaction-aware maneuver prediction. IEEE Trans. Intell. Transportation Syst. 17, 1538\u20131550 (2016).","journal-title":"IEEE Trans. Intell. Transportation Syst."},{"key":"225_CR30","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/TIV.2018.2804159","volume":"3","author":"N Deo","year":"2018","unstructured":"Deo, N., Rangesh, A. & Trivedi, M. M. How would surround vehicles move? A unified framework for maneuver classification and motion prediction. IEEE Trans. Intell. Vehicles 3, 129\u2013140 (2018).","journal-title":"IEEE Trans. Intell. Vehicles"},{"key":"225_CR31","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1038\/nature14541","volume":"521","author":"Z Ghahramani","year":"2015","unstructured":"Ghahramani, Z. Probabilistic machine learning and artificial intelligence. Nature 521, 452\u2013459 (2015).","journal-title":"Nature"},{"key":"225_CR32","doi-asserted-by":"crossref","unstructured":"Tang, C., Chen, J. & Tomizuka, M. Adaptive probabilistic vehicle trajectory prediction through physically feasible Bayesian recurrent neural network. In Proceedings of the 2019 IEEE International Conference on Robotics and Automation 3846\u20133852 (IEEE, 2019).","DOI":"10.1109\/ICRA.2019.8794130"},{"key":"225_CR33","doi-asserted-by":"crossref","unstructured":"Pool, E. A. I., Kooij, J. F. P. & Gavrila, D. M. Context-based cyclist path prediction using recurrent neural networks. In Proceedings of the 2019 IEEE Intelligent Vehicles Symposium 824\u2013830 (IEEE, 2019).","DOI":"10.1109\/IVS.2019.8813889"},{"key":"225_CR34","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10514-011-9266-8","volume":"32","author":"A Wu","year":"2012","unstructured":"Wu, A. & How, J. Guaranteed infinite horizon avoidance of unpredictable, dynamically constrained obstacles. Autonomous Robots 32, 227\u2013242 (2012).","journal-title":"Autonomous Robots"},{"key":"225_CR35","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s10514-011-9258-8","volume":"32","author":"S Bouraine","year":"2012","unstructured":"Bouraine, S., Fraichard, T. & Salhi, H. Provably safe navigation for mobile robots with limited field-of-views in dynamic environments. Autonomous Robots 32, 267\u2013283 (2012).","journal-title":"Autonomous Robots"},{"key":"225_CR36","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1109\/TCST.2016.2542046","volume":"25","author":"Y Yang","year":"2017","unstructured":"Yang, Y., Zhang, J., Cai, K. & Prandini, M. Multi-aircraft conflict detection and resolution based on probabilistic reach sets. IEEE Trans. Control Syst. Technol. 25, 309\u2013316 (2017).","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"225_CR37","doi-asserted-by":"crossref","unstructured":"Nager, Y., Censi, A. & Frazzoli, E. What lies in the shadows? Safe and computation-aware motion planning for autonomous vehicles using intent-aware dynamic shadow regions. In Proceedings of the 2019 IEEE International Conference on Robotics and Automation 5800\u20135806 (IEEE, 2019).","DOI":"10.1109\/ICRA.2019.8793557"},{"key":"225_CR38","doi-asserted-by":"crossref","unstructured":"McNaughton, M., Urmson, C., Dolan, J. M. & Lee, J.-W. Motion planning for autonomous driving with a conformal spatiotemporal lattice. In Proceedings of the 2011 IEEE International Conference on Robotics and Automation 4889\u20134895 (IEEE, 2011).","DOI":"10.1109\/ICRA.2011.5980223"},{"key":"225_CR39","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1177\/0278364911423042","volume":"31","author":"M Werling","year":"2012","unstructured":"Werling, M., Kammel, S., Ziegler, J. & Gr\u00f6ll, L. Optimal trajectories for time-critical street scenarios using discretized terminal manifolds. Int. J. Robotics Res. 31, 346\u2013359 (2012).","journal-title":"Int. J. Robotics Res."},{"key":"225_CR40","doi-asserted-by":"publisher","first-page":"1164","DOI":"10.1177\/0278364913488805","volume":"32","author":"M Zucker","year":"2013","unstructured":"Zucker, M. et al. CHOMP: covariant Hamiltonian optimization for motion planning. Int. J. Robotics Res. 32, 1164\u20131193 (2013).","journal-title":"Int. J. Robotics Res."},{"key":"225_CR41","doi-asserted-by":"crossref","unstructured":"Ziegler, J., Bender, P., Dang, T. & Stiller, C. Trajectory planning for Bertha\u2014a local, continuous method. In Proceedings of the 2014 IEEE Intelligent Vehicles Symposium 450\u2013457 (IEEE, 2014).","DOI":"10.1109\/IVS.2014.6856581"},{"key":"225_CR42","doi-asserted-by":"crossref","unstructured":"Hult, R., Zanon, M., Gros, S. & Falcone, P. An MIQP-based heuristic for optimal coordination of vehicles at intersections. In Proceedings of the 2018 IEEE International Conference on Decision and Control 2783\u20132790 (IEEE, 2018).","DOI":"10.1109\/CDC.2018.8618945"},{"key":"225_CR43","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1109\/TRO.2005.853485","volume":"21","author":"Z Sun","year":"2005","unstructured":"Sun, Z., Hsu, D., Jiang, T., Kurniawati, H. & Reif, J. H. Narrow passage sampling for probabilistic roadmap planning. IEEE Trans. Robotics 21, 1105\u20131115 (2005).","journal-title":"IEEE Trans. Robotics"},{"key":"225_CR44","doi-asserted-by":"crossref","unstructured":"LaValle, S. M. in Planning Algorithms 79\u201380 (Cambridge Univ. Press, 2006).","DOI":"10.1017\/CBO9780511546877"},{"key":"225_CR45","doi-asserted-by":"crossref","unstructured":"Schouwenaars, T., De Moor, B., Feron, E. & How, J. Mixed integer programming for multi-vehicle path planning. In Proceedings of the 2001 European Control Conference 2603\u20132608 (IEEE, 2001).","DOI":"10.23919\/ECC.2001.7076321"},{"key":"225_CR46","doi-asserted-by":"crossref","unstructured":"Qian, X., Altch\u00e9, F., Bender, P., Stiller, C. & de La Fortelle, A. Optimal trajectory planning for autonomous driving integrating logical constraints: an MIQP perspective. In Proceedings of the IEEE 19th International Conference on Intelligent Transportation Systems 205\u2013210 (IEEE, 2016).","DOI":"10.1109\/ITSC.2016.7795555"},{"key":"225_CR47","doi-asserted-by":"publisher","first-page":"1101","DOI":"10.1109\/TRO.2015.2459373","volume":"31","author":"J Park","year":"2015","unstructured":"Park, J., Karumanchi, S. & Iagnemma, K. Homotopy-based divide-and-conquer strategy for optimal trajectory planning via mixed-integer programming. IEEE Trans. Robotics 31, 1101\u20131115 (2015).","journal-title":"IEEE Trans. Robotics"},{"key":"225_CR48","first-page":"1586","volume":"18","author":"B Gutjahr","year":"2016","unstructured":"Gutjahr, B., Gr\u00f6ll, L. & Werling, M. Lateral vehicle trajectory optimization using constrained linear time-varying MPC. IEEE Trans. Intell. Transportation Syst. 18, 1586\u20131595 (2016).","journal-title":"IEEE Trans. Intell. Transportation Syst."},{"key":"225_CR49","doi-asserted-by":"crossref","unstructured":"Zhan, W., Chen, J., Chan, C.-Y., Liu, C. & Tomizuka, M. Spatially-partitioned environmental representation and planning architecture for on-road autonomous driving. In Proceedings of the 2017 IEEE Intelligent Vehicles Symposium 632\u2013639 (IEEE, 2017).","DOI":"10.1109\/IVS.2017.7995789"},{"key":"225_CR50","doi-asserted-by":"crossref","unstructured":"Mohy-ud-Din, H. & Muhammad, A. Detecting narrow passages in configuration spaces via spectra of probabilistic roadmaps. In Proceedings of the 2010 ACM Symposium on Applied Computing 1294\u20131298 (ACM, 2010).","DOI":"10.1145\/1774088.1774364"},{"key":"225_CR51","doi-asserted-by":"crossref","unstructured":"Do, Q. H., Mita, S. & Yoneda, K. Narrow passage path planning using fast marching method and support vector machine. In Proceedings of the 2014 IEEE Intelligent Vehicles Symposium 630\u2013635 (IEEE, 2014).","DOI":"10.1109\/IVS.2014.6856611"},{"key":"225_CR52","doi-asserted-by":"crossref","unstructured":"Bender, P., Ta\u015f, \u00d6. S., Ziegler, J. & Stiller, C. The combinatorial aspect of motion planning: maneuver variants in structured environments. In Proceedings of the 2015 IEEE Intelligent Vehicles Symposium 1386\u20131392 (IEEE, 2015).","DOI":"10.1109\/IVS.2015.7225909"},{"key":"225_CR53","unstructured":"Archer, J. & Vogel, K. The Traffic Safety Problems in Urban Areas. Technical Report (KTH Stockholm, 2000)."},{"key":"225_CR54","unstructured":"Shalev-Shwartz, S., Shammah, S. & Shashua, A. On a formal model of safe and scalable self-driving cars. Preprint at https:\/\/arxiv.org\/pdf\/1708.06374.pdf (2018)."},{"key":"225_CR55","doi-asserted-by":"crossref","unstructured":"Liebenwein, L. et al. Compositional and contract-based verification for autonomous driving on road networks. In Robotics Research, Springer Proceedings in Advanced Robotics Vol. 10, 163\u2013181 (Springer, 2020).","DOI":"10.1007\/978-3-030-28619-4_18"},{"key":"225_CR56","doi-asserted-by":"crossref","unstructured":"Trautman, P. & Krause, A. Unfreezing the robot: navigation in dense, interacting crowds. In Proceedings of the 2010 IEEE\/RSJ International Conference on Intelligent Robots and Systems 797\u2013803 (IEEE, 2010).","DOI":"10.1109\/IROS.2010.5654369"},{"key":"225_CR57","doi-asserted-by":"crossref","unstructured":"Men\u00e9ndez-Romero, C., Winkler, F., Dornhege, C. & Burgard, W. Maneuver planning for highly automated vehicles. In Proceedings of the 2017 IEEE Intelligent Vehicles Symposium 1458\u20131464 (IEEE, 2017).","DOI":"10.1109\/IVS.2017.7995915"},{"key":"225_CR58","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/TIV.2016.2622920","volume":"1","author":"M Althoff","year":"2016","unstructured":"Althoff, M. & Magdici, S. Set-based prediction of traffic participants on arbitrary road networks. IEEE Trans. Intell. Vehicles 1, 187\u2013202 (2016).","journal-title":"IEEE Trans. Intell. Vehicles"},{"key":"225_CR59","doi-asserted-by":"crossref","unstructured":"Koschi, M. & Althoff, M. SPOT: a tool for set-based prediction of traffic participants. In Proceedings of the 2017 IEEE Intelligent Vehicles Symposium 1686\u20131693 (IEEE, 2017).","DOI":"10.1109\/IVS.2017.7995951"},{"key":"225_CR60","doi-asserted-by":"crossref","unstructured":"Koschi, M., Pek, C., Beikirch, M. & Althoff, M. Set-based prediction of pedestrians in urban environments considering formalized traffic rules. In Proceedings of the 21st International Conference on Intelligent Transportation Systems 2704\u20132711 (IEEE, 2018).","DOI":"10.1109\/ITSC.2018.8569434"},{"key":"225_CR61","doi-asserted-by":"crossref","unstructured":"Pek, C. & Althoff, M. Computationally efficient fail-safe trajectory planning for self-driving vehicles using convex optimization. In Proceedings of the 2018 IEEE International Conference on Intelligent Transportation Systems 1447\u20131454 (IEEE, 2018).","DOI":"10.1109\/ITSC.2018.8569425"},{"key":"225_CR62","doi-asserted-by":"publisher","unstructured":"Manzinger, S., Pek, C. & Althoff, M. Using reachable sets for trajectory planning of automated vehicles. IEEE Trans. Intell. Vehicles https:\/\/doi.org\/10.1109\/TIV.2020.3017342 (2020).","DOI":"10.1109\/TIV.2020.3017342"},{"key":"225_CR63","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/TIV.2016.2578706","volume":"1","author":"B Paden","year":"2016","unstructured":"Paden, B., \u010c\u00e1p, M., Yong, S. Z., Yershov, D. & Frazzoli, E. A survey of motion planning and control techniques for self-driving urban vehicles. IEEE Trans. Intell. Vehicles 1, 33\u201355 (2016).","journal-title":"IEEE Trans. Intell. Vehicles"},{"key":"225_CR64","doi-asserted-by":"publisher","first-page":"1135","DOI":"10.1109\/TITS.2015.2498841","volume":"17","author":"D Gonz\u00e1lez","year":"2016","unstructured":"Gonz\u00e1lez, D., P\u00e9rez, J., Milan\u00e9s, V. & Nashashibi, F. A review of motion planning techniques for automated vehicles. IEEE Trans. Intell. Transportation Syst. 17, 1135\u20131145 (2016).","journal-title":"IEEE Trans. Intell. Transportation Syst."},{"key":"225_CR65","doi-asserted-by":"crossref","unstructured":"Magdici, S., Ye, Z. & Althoff, M. Determining the maximum time horizon for vehicles to safely follow a trajectory. In Proceedings of the 20th International Conference on Intelligent Transportation Systems 1893\u20131899 (IEEE, 2017).","DOI":"10.1109\/ITSC.2017.8317696"},{"key":"225_CR66","doi-asserted-by":"crossref","unstructured":"H\u00e9ry, E., Masi, S., Xu, P. & Bonnifait, P. Map-based curvilinear coordinates for autonomous vehicles. In Proceedings of the 20th International Conference on Intelligent Transportation Systems 1\u20137 (IEEE, 2017).","DOI":"10.1109\/ITSC.2017.8317775"},{"key":"225_CR67","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrmann, B. et al. Ensuring drivability of planned motions using formal methods. In Proceedings of the 20th International Conference on Intelligent Transportation Systems 1661\u20131668 (IEEE, 2017).","DOI":"10.1109\/ITSC.2017.8317647"}],"container-title":["Nature Machine Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.nature.com\/articles\/s42256-020-0225-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.nature.com\/articles\/s42256-020-0225-y","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.nature.com\/articles\/s42256-020-0225-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T20:01:26Z","timestamp":1723579286000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.nature.com\/articles\/s42256-020-0225-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,14]]},"references-count":67,"journal-issue":{"issue":"9","published-online":{"date-parts":[[2020,9]]}},"alternative-id":["225"],"URL":"https:\/\/doi.org\/10.1038\/s42256-020-0225-y","relation":{},"ISSN":["2522-5839"],"issn-type":[{"value":"2522-5839","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,14]]},"assertion":[{"value":"30 October 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 August 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 September 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare no competing interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}