Algorithms for Verifying Deep Neural Networks.

Tue, 01 Jan 2019 00:00:00 +0100

Changliu Liu, Tomer Arnon, Christopher Lazarus, Clark W. Barrett, Mykel J. Kochenderfer:
Algorithms for Verifying Deep Neural Networks. CoRR abs/1903.06758 (2019)