Algorithms for Verifying Deep Neural Networks.

Fri, 01 Jan 2021 00:00:00 +0100

Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher A. Strong, Clark W. Barrett, Mykel J. Kochenderfer :
Algorithms for Verifying Deep Neural Networks. Found. Trends Optim. 4(3-4): 244-404 (2021)