Safety verification for deep neural networks with provable guarantees (30th International Conference on Concurrency Theory (CONCUR 2019), 2019)

(untitled) - Kwiatkowska, M