| emsoft | participants

Osbert Bastani

EMSOFT 2021: 21st International Conference on Embedded Software

Compositional Learning and Verification of Neural Network Controllers

Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, and Osbert Bastani