skip to main content


Title: Case study: verifying the safety of an autonomous racing car with a neural network controller
Award ID(s):
1703791
NSF-PAR ID:
10170887
Author(s) / Creator(s):
; ; ; ; ;
Date Published:
Journal Name:
HSCC'20: 23rd {ACM} International Conference on Hybrid Systems: Computation and Control
Page Range / eLocation ID:
1 to 7
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found