Biblio
Found 1 results
Filters: Keyword is Algorithm design and analysis and Author is Mitra, Sayan [Clear All Filters]
.
2018. Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features. IEEE Design and Test. 35:31–38.