Neural Network Robustness as a Verification Property: A Principled Case
Study

Neural Network Robustness as a Verification Property: A Principled Case Study

3 April 2021

Ekaterina Komendantskaya

Papers citing "Neural Network Robustness as a Verification Property: A Principled Case Study"

10 / 10 papers shown

Title
Neural Network Verification for Gliding Drone Control: A Case Study Colin Kessler Ekaterina Komendantskaya Marco Casadio Ignazio Maria Viola Thomas Flinkow Albaraa Ammar Othman Alistair Malhotra Robbie McPherson 57 1 0 01 May 2025
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 82 6 0 17 Feb 2025
Logic of Differentiable Logics: Towards a Uniform Semantics of DL Natalia Slusarz Ekaterina Komendantskaya M. Daggitt Rob Stewart Kathrin Stark 31 17 0 19 Mar 2023
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 44 13 0 06 Dec 2022
CheckINN: Wide Range Neural Network Verification in Imandra (Extended) Remi Desmartin Grant Passmore Ekaterina Komendantskaya M. Daggitt 26 5 0 21 Jul 2022
Differentiable Logics for Neural Network Training and Verification Natalia Slusarz Ekaterina Komendantskaya M. Daggitt Rob Stewart 21 2 0 14 Jul 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 94 37 0 26 May 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 30 18 0 08 Feb 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016