IEEE - Institute of Electrical and Electronics Engineers, Inc. - Anytime Safety Verification of Autonomous Vehicles

2018 IEEE International Conference on Intelligent Transportation Systems (ITSC)

Author(s): Felix Gruber ; Matthias Althoff
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2018
Conference Location: Maui, HI, USA, USA
Conference Date: 4 November 2018
Page(s): 1,708 - 1,714
ISBN (Electronic): 978-1-7281-0323-5
ISBN (USB): 978-1-7281-0322-8
ISBN (Paper): 978-1-7281-0321-1
ISSN (Electronic): 2153-0017
DOI: 10.1109/ITSC.2018.8569950
Regular:

We propose a procedure to formally verify the safety of autonomous vehicles online, i.e., during operation, that considers the uniqueness of each traffic situation. A challenging aspect of online... View More

Advertisement