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