An approach to reachability analysis for feed-forward ReLU neural networks

22 June 2017

Papers citing "An approach to reachability analysis for feed-forward ReLU neural networks"

50 / 196 papers shown

Title
Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification Ryota Ueda Takami Sato Ken Kobayashi Kazuhide Nakata AAML 100 0 0 12 Jun 2025
Conformal Mixed-Integer Constraint Learning with Feasibility Guarantees Daniel Ovalle Lorenz T. Biegler Ignacio E. Grossmann Carl D. Laird Mateo Dulce Rubio 65 0 0 04 Jun 2025
MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Jingyang Li Guoqiang Li 20 0 0 03 Jun 2025
Adversarial Examples in Environment Perception for Automated Driving (Review) Jun Yan Huilin Yin AAML 87 0 0 11 Apr 2025
LTL Verification of Memoryful Neural Agents Mehran Hosseini A. Lomuscio Nicola Paoletti LLMAG 85 0 0 04 Mar 2025
Verification of Bit-Flip Attacks against Quantized Neural Networks Yedi Zhang Lei Huang Pengfei Gao Fu Song Jun Sun Jin Song Dong AAML 102 0 0 22 Feb 2025
SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Vignesh Sivaramakrishnan Krishna C. Kalagarla Rosalyn Devonport Joshua Pilipovsky Panagiotis Tsiotras Meeko Oishi 114 0 0 04 Dec 2024
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 108 1 0 02 Oct 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 729 17 0 31 Aug 2024
Safe and Reliable Training of Learning-Based Aerospace Controllers Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Kerianne Hobbs Milan Ganai Tobey Shim Guy Katz Clark Barrett 76 3 0 09 Jul 2024
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks Tianhao Wei Luca Marzari Kai S. Yun Hanjiang Hu Peizhi Niu Xusheng Luo Changliu Liu 76 0 0 30 Jun 2024
Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers Jonas Ngnawé Sabyasachi Sahoo Y. Pequignot Frédéric Precioso Christian Gagné AAML 78 0 0 26 Jun 2024
Verification-Guided Shielding for Deep Reinforcement Learning Davide Corsi Guy Amir Andoni Rodríguez César Sánchez Guy Katz Roy Fox AAML OffRL 111 9 0 10 Jun 2024
Interval Abstractions for Robust Counterfactual Explanations Junqi Jiang Francesco Leofante Antonio Rago Francesca Toni 60 1 0 21 Apr 2024
Mitigating the Curse of Dimensionality for Certified Robustness via Dual Randomized Smoothing Song Xia Yu Yi Xudong Jiang Henghui Ding 124 10 0 15 Apr 2024
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 120 3 0 12 Apr 2024
Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems Jianglin Lan Siyuan Zhan Ronald J. Patton Xianxian Zhao 89 1 0 24 Mar 2024
Verifiable Boosted Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Giulio Ermanno Pibiri AAML 73 0 0 22 Feb 2024
Verifying message-passing neural networks via topology-based bounds tightening Christopher Hojny Shiqiang Zhang Juan S. Campos Ruth Misener AAML 107 7 0 21 Feb 2024
Feed-Forward Neural Networks as a Mixed-Integer Program Navid Aftabi Nima Moradi Fatemeh Mahroo 34 3 0 09 Feb 2024
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks Ben Batten Mehran Hosseini A. Lomuscio AAML 67 6 0 21 Jan 2024
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence Justus Renkhoff Ke-ke Feng Marc Meier-Doernberg Alvaro Velasquez Houbing Herbert Song 93 8 0 06 Jan 2024
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions László Antal Hana Masara Erika Ábrahám 72 0 0 16 Nov 2023
ABIGX: A Unified Framework for eXplainable Fault Detection and Classification Yue Zhuo Jinchuan Qian Zhihuan Song Zhiqiang Ge 37 1 0 09 Nov 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 93 8 0 20 Jul 2023
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version) Mahum Naseer Osman Hasan Mohamed Bennai 34 2 0 29 Jun 2023
Verifying Safety of Neural Networks from Topological Perspectives Zhen Liang Dejin Ren Bai Xue Jing Wang Wenjing Yang Wanwei Liu AAML 67 0 0 27 Jun 2023
DelBugV: Delta-Debugging Neural Network Verifiers R. Elsaleh Guy Katz 106 2 0 29 May 2023
Expressive Losses for Verified Robustness via Convex Combinations Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth A. Lomuscio AAML 106 14 0 23 May 2023
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation Haitham Khedr Yasser Shoukry 67 5 0 22 May 2023
Efficient Error Certification for Physics-Informed Neural Networks Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dvijotham Philip Torr M. P. Kumar PINN 93 1 0 17 May 2023
Verifiable Learning for Robust Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Giulio Ermanno Pibiri N. Prezza AAML 76 3 0 05 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 160 37 0 29 Apr 2023
Certifying Ensembles: A General Certification Theory with S-Lipschitzness Aleksandar Petrov Francisco Eiras Amartya Sanyal Philip Torr Adel Bibi UQCV 65 1 0 25 Apr 2023
Certified Adversarial Robustness Within Multiple Perturbation Bounds Soumalya Nandi Sravanti Addepalli Harsh Rangwani R. Venkatesh Babu AAML 58 3 0 20 Apr 2023
RNN-Guard: Certified Robustness Against Multi-frame Attacks for Recurrent Neural Networks Yunruo Zhang Tianyu Du S. Ji Peng Tang Shanqing Guo AAML 64 2 0 17 Apr 2023
Machine Learning with Requirements: a Manifesto Eleonora Giunchiglia F. Imrie M. Schaar Thomas Lukasiewicz AI4TS OffRL VLM 71 7 0 07 Apr 2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems Yixuan Wang Weichao Zhou Jiameng Fan Zhilu Wang Jiajun Li Xin Chen Chao Huang Wenchao Li Qi Zhu 49 16 0 31 Mar 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 53 8 0 07 Mar 2023
Model-based feature selection for neural networks: A mixed-integer programming approach Shudian Zhao Calvin Tsay Jan Kronqvist 83 5 0 20 Feb 2023
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems Baiting Luo Shreyas Ramakrishna Ava Pettet Christopher B. Kuhn G. Karsai Ayan Mukhopadhyay 70 5 0 20 Feb 2023
Verifying Generalization in Deep Learning Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 81 14 0 11 Feb 2023
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks Pengfei Yang Zhiming Chi Zongxin Liu Mengyu Zhao Cheng-Chao Huang Shaowei Cai Lijun Zhang AAML 56 3 0 10 Feb 2023
Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search S. Sharifi Donghwan Shin Lionel C. Briand Nathan Aschbacher 63 3 0 31 Jan 2023
Vertex-based reachability analysis for verifying ReLU deep neural networks João G. Zago E. Camponogara Eric A. Antonelo AAML 72 2 0 27 Jan 2023
PCV: A Point Cloud-Based Network Verifier A. Sarker Farzana Yasmin Ahmad Matthew B. Dwyer AAML 3DPC 54 1 0 27 Jan 2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks David Boetius Stefan Leue Tobias Sutter 65 4 0 26 Jan 2023
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks Luca Marzari Davide Corsi Ferdinando Cicalese Alessandro Farinelli AAML 93 16 0 17 Jan 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes Taha Entesari Mahyar Fazlyab 91 5 0 14 Dec 2022
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 101 13 0 06 Dec 2022