Compositional Learning and Verification of Neural Network ControllersOpen Website

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

2021 (modified: 02 Jan 2023)ACM Trans. Embed. Comput. Syst. 2021Readers: Everyone
0 Replies