Nov 28, 10:00 - 10:45, Formal Verification of Neural Network Controlled Cyber-Physical Systems (B2 5220), Prof. Yasser Shoukry, University of California, Irvine, USA