Verifying Quantized Neural Networks using SMT-Based Model Checking
Authors: Luiz Sena, Xidan Song, Erickson Alves, Iury Bessa, Edoardo Manino, Lucas Cordeiro, Eddie de Lima Filho | Published: 2021-06-10 | Updated: 2021-09-16
Safety Characteristics
A general framework for defining and optimizing robustness
Authors: Alessandro Tibo, Manfred Jaeger, Kim G. Larsen | Published: 2020-06-19 | Updated: 2021-05-29
Robustness to Adversarial Attacks in Learning-Enabled Controllers
Authors: Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan | Published: 2020-06-11
On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples
Authors: Richard Y. Zhang | Published: 2020-06-11 | Updated: 2020-10-26