event-icon
Description
Formal methods for specification, verification, and synthesis can help improve the assurance in deep learning systems. In this talk, I will discuss principles for using formal methods for deep neural networks, illustrated by recent results, including some on the design of cyber-physical systems with deep learning components.
Tags