Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features
Fan, Chuchu, Qi, Bolun, Mitra, SayanYear:
2018
Language:
english
Journal:
IEEE Design & Test
DOI:
10.1109/MDAT.2018.2799804
File:
PDF, 2.06 MB
english, 2018