ECCS Workshop-Yassker Shoukry template 2022.jpg
Formal Verification of Neural Network Controlled Cyber-Physical Systems
Prof. Yasser Shoukry, University of California, Irvine, USA
Monday, November 28, 10:00
- 10:45
Building 2, 5220
Workshop