Biblio

Found 1 results

Filters: Keyword is Algorithm design and analysis [Clear All Filters]

2018

Fan C, Qi B, Mitra S. 2018. Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features. IEEE Design and Test. 35:31–38.