Safety and robustness for deep learning with provable guarantees (keynote)

Bibliographic Details
Main Author: Kwiatkowska, M
Format: Conference item
Published: Association for Computing Machinery 2019