Colloquium by Wenchao Li
-
Over Zoom
Title: "The Road to Safe Autonomy: Neural Networks Meet Formal Reasoning"
Type
Colloquia
Target Audience
Students
Admission
Free