Using online verification to prevent autonomous vehicles from causing accidents

Nature Machine Intelligence ◽

10.1038/s42256-020-0225-y ◽

2020 ◽

Vol 2 (9) ◽

pp. 518-528

Author(s):

Christian Pek ◽

Stefanie Manzinger ◽

Markus Koschi ◽

Matthias Althoff

Keyword(s):

Autonomous Vehicles ◽

Online Verification

Download Full-text

Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization

IEEE Transactions on Robotics ◽

10.1109/tro.2020.3036624 ◽

2020 ◽

pp. 1-17

Author(s):

Christian Pek ◽

Matthias Althoff

Keyword(s):

Convex Optimization ◽

Motion Planning ◽

Autonomous Vehicles ◽

Fail Safe ◽

Online Verification

Download Full-text

Set-based computation of vehicle behaviors for the online verification of autonomous vehicles

2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC) ◽

10.1109/itsc.2011.6083052 ◽

2011 ◽

Author(s):

Matthias Althoff ◽

John M. Dolan

Keyword(s):

Autonomous Vehicles ◽

Online Verification

Download Full-text

Online Verification Concept for Autonomous Vehicles – Illustrative Study for a Trajectory Planning Module

2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) ◽

10.1109/itsc45102.2020.9294703 ◽

2020 ◽

Author(s):

Tim Stahl ◽

Matthis Eicher ◽

Johannes Betz ◽

Frank Diermeyer

Keyword(s):

Trajectory Planning ◽

Autonomous Vehicles ◽

Online Verification

Download Full-text

Policy Implications of Autonomous Vehicles

10.1016/s2543-0009(20)x0002-3 ◽

2020 ◽

Keyword(s):

Autonomous Vehicles ◽

Policy Implications

Download Full-text

Road Horizontal Alignment Design Method for Continuous Loop Area in Autonomous Vehicles Proving Ground Based on Genetic Algorithms

10.1061/9780784483053.163 ◽

2020 ◽

Author(s):

Junyi Chen ◽

Rubing Li ◽

Xingyu Xing ◽

Lu Xiong

Keyword(s):

Genetic Algorithms ◽

Autonomous Vehicles ◽

Design Method ◽

Horizontal Alignment ◽

Download Full-text

Choice Behavior Analysis for Shared Autonomous Vehicles: A Latent Class Approach

10.1061/9780784483053.333 ◽

2020 ◽

Author(s):

Rong-Han Yao ◽

Meng Long ◽

Wen-Yan Qi

Keyword(s):

Behavior Analysis ◽

Autonomous Vehicles ◽

Choice Behavior ◽

Download Full-text

Aerial Autonomous Vehicles – Opportunities, Challenges, and Concerns: The Good … the Bad … and the Ugly

Proceedings of the 33rd International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2020) ◽

10.33012/2020.17601 ◽

2020 ◽

Author(s):

Mitch Narins

Keyword(s):

Autonomous Vehicles

Download Full-text

Rural Positioning Challenges for Connected and Autonomous Vehicles

Proceedings of the 2019 International Technical Meeting of The Institute of Navigation ◽

10.33012/2019.16727 ◽

2019 ◽

Author(s):

Joseph G. Walters ◽

Xiaolin Meng ◽

Chang Xu ◽

Hao (Julia) Jing ◽

Stuart Marsh

Keyword(s):

Autonomous Vehicles

Download Full-text

An Open Multi-Sensor Fusion Toolbox for Autonomous Vehicles

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.2019tsp0005 ◽

2020 ◽

Vol E103.A (1) ◽

pp. 252-264

Author(s):

Abraham MONRROY CANO ◽

Eijiro TAKEUCHI ◽

Shinpei KATO ◽

Masato EDAHIRO

Keyword(s):

Sensor Fusion ◽

Autonomous Vehicles

Download Full-text

Fundamental Imaging System Analysis for Autonomous Vehicles

Electronic Imaging ◽

10.2352/issn.2470-1173.2018.17.avm-105 ◽

2018 ◽

Vol 2018 (17) ◽

pp. 105-1-105-10 ◽

Author(s):

Robin Jenkin ◽

Paul Kane

Keyword(s):

Autonomous Vehicles ◽

System Analysis ◽

Download Full-text