IEEE Computer Society - Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features

Author(s): Chuchu Fan ; Bolun Qi ; Sayan Mitra
Publisher: IEEE Computer Society
Volume: PP
Page(s): 1
ISSN (Electronic): 2168-2364
ISSN (Paper): 2168-2356
DOI: 10.1109/MDAT.2018.2799804

Safety analysis of Autonomous Vehicles and Advanced Driver Assist Systems (ADAS) is a central challenge facing the automotive industry. In this paper, we present a recently developed data-driven... View More