Special Session

39.2 - Formal Methods for Deep Learning

10:30 AM–12:00 PM Jun 27, 2018 (America - Los Angeles)

Room 3020

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.