Formal Verification of Neural Network Controllers for Collision-Free Flight - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt. Formal Verification of Neural Network Controllers for Collision-Free Flight. In Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina, editors, Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers. Volume 13124 of Lecture Notes in Computer Science, pages 147-164, Springer, 2021. [doi]

This author has not been identified. Look up 'Daniel Genin' in GoogleThis author has not been identified. Look up 'Ivan Papusha' in GoogleThis author has not been identified. Look up 'Joshua Brulé' in GoogleThis author has not been identified. Look up 'Tyler Young' in GoogleThis author has not been identified. Look up 'Galen E. Mullins' in GoogleThis author has not been identified. Look up 'Yanni Kouskoulas' in GoogleThis author has not been identified. Look up 'Rosa Wu' in GoogleThis author has not been identified. Look up 'Aurora C. Schmidt' in Google

runs on WebDSL