Safety and robustness for deep learning with provable guarantees (keynote) (27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2019)

(untitled) - Kwiatkowska, M