Event Content - (F)

First Letter

C (2) | D (1) | E (1) | F (1) | H (1) | L (1) | M (1) | O (1) | T (3)

	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	Resilient, Workshop