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

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

Entropy-regularized Point-based Value Iteration. - Harrison Delecki; Marcell Vazquez-Chanlatte; Esen Yel; Kyle Hollins Wray; Tomer Arnon; Stefan J. Witwicki; Mykel J. Kochenderfer (CoRR, 2024)