v1v2v3 (latest)

Safety Verification of Deep Neural Networks

21 October 2016

Min Wu

Papers citing "Safety Verification of Deep Neural Networks"

50 / 451 papers shown

Title
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Jordan Peper Yan Miao Sayan Mitra Ivan Ruchkin 28 0 0 19 Aug 2025
Exact Verification of Graph Neural Networks with Incremental Constraint Solving Minghao Liu Chia-Hsuan Lu Marta Kwiatkowska AAML 24 0 0 12 Aug 2025
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees Guanqin Zhang Kota Fukuda Zhenya Zhang H.M.N. Dilum Bandara S. Chen Jianjun Zhao Yulei Sui AAML 41 0 0 23 Jul 2025
Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification Ryota Ueda Takami Sato Ken Kobayashi Kazuhide Nakata AAML 144 0 0 12 Jun 2025
MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Jingyang Li Guoqiang Li 53 0 0 03 Jun 2025
Efficient Preimage Approximation for Neural Network Certification Anton Björklund Mykola Zaitsev Marta Kwiatkowska AAML 68 0 0 28 May 2025
SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Nawshin Mannan Proma Victoria J Hodge Rob Alexander 52 1 0 27 May 2025
RvLLM: LLM Runtime Verification with Domain Knowledge Yedi Zhang Sun Yi Emma Annabelle Lee Jia En Jin Song Dong 123 2 0 24 May 2025
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 153 1 0 02 May 2025
A Domain-Agnostic Scalable AI Safety Ensuring Framework Beomjun Kim Kangyeon Kim Sunwoo Kim Heejin Ahn 257 0 0 29 Apr 2025
Adversarial Examples in Environment Perception for Automated Driving (Review) Jun Yan Huilin Yin AAML 132 1 0 11 Apr 2025
Proof-Driven Clause Learning in Neural Network Verification Omri Isac Idan Refaeli Haoze Wu Clark W. Barrett Guy Katz 202 0 0 15 Mar 2025
CeTAD: Towards Certified Toxicity-Aware Distance in Vision Language Models Xiangyu Yin Jiaxu Liu Zhen Chen Jinwei Hu Yi Dong Xiaowei Huang Wenjie Ruan AAML 155 0 0 08 Mar 2025
Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees Xinhang Ma Junlin Wu Hussein Sibai Y. Kantaros Yevgeniy Vorobeychik 96 0 0 28 Feb 2025
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 159 9 0 17 Feb 2025
Risk-Averse Certification of Bayesian Neural Networks Xiyue Zhang Zifan Wang Yulong Gao Licio Romao Alessandro Abate Marta Kwiatkowska BDL UQCV 103 0 0 29 Nov 2024
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Jan Gruteser Jan Roßbach Fabian Vu Michael Leuschel 179 0 0 21 Nov 2024
Improving DNN Modularization via Activation-Driven Training Tuan Ngo Abid Hassan Saad Shafiq Nenad Medvidovic MoMe 93 0 0 01 Nov 2024
Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Aryaman Gupta Somil Bansal 100 4 0 29 Oct 2024
LLM-Assisted Red Teaming of Diffusion Models through "Failures Are Fated, But Can Be Faded" Som Sagar Aditya Taparia Ransalu Senanayake 53 0 0 22 Oct 2024
Foundation Models for Rapid Autonomy Validation Alec Farid Peter Schleede Aaron Huang Christoffer Heckman 153 0 0 22 Oct 2024
SMLE: Safe Machine Learning via Embedded Overapproximation Matteo Francobaldi Michele Lombardi AAML 77 0 0 30 Sep 2024
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska Huan Zhang AAML 123 4 0 17 Aug 2024
S-RAF: A Simulation-Based Robustness Assessment Framework for Responsible Autonomous Driving Daniel Omeiza Pratik Somaiya Jo-Ann Pattinson Carolyn Ten-Holter Jack Stilgoe Marina Jirotka Lars Kunze 82 0 0 16 Aug 2024
Detection of Unknown Errors in Human-Centered Systems Aranyak Maity Ayan Banerjee Sandeep K. S. Gupta 58 1 0 28 Jul 2024
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift Navid Hashemi Lars Lindemann Jyotirmoy V. Deshmukh 262 3 0 16 Jul 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 108 4 0 09 Jul 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 120 0 0 26 Jun 2024
Failures Are Fated, But Can Be Faded: Characterizing and Mitigating Unwanted Behaviors in Large-Scale Vision and Language Models Som Sagar Aditya Taparia Ransalu Senanayake 110 11 0 11 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 139 10 0 10 Jun 2024
Certifying Global Robustness for Deep Neural Networks You Li Guannan Zhao Shuyu Kong Yunqi He Hai Zhou AAML 76 0 0 31 May 2024
Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction Ramya Ramalingam Sangdon Park Osbert Bastani 106 5 0 24 May 2024
Hybrid Convolutional Neural Networks with Reliability Guarantee Hans Dermot Doran Suzana Veljanovska 143 2 0 08 May 2024
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure Tobias Ladner Michael Eichelbeck Matthias Althoff GNN 258 1 0 23 Apr 2024
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward Xuan Xie Yuheng Huang Zhehua Zhou Yuheng Huang Da Song Lei Ma OffRL 168 8 0 12 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 157 3 0 12 Apr 2024
Certified PEFTSmoothing: Parameter-Efficient Fine-Tuning with Randomized Smoothing Chengyan Fu Wenjie Wang AAML 121 0 0 08 Apr 2024
Concept-based Analysis of Neural Networks via Vision-Language Models Ravi Mangal Nina Narodytska Divya Gopinath Boyue Caroline Hu Anirban Roy Susmit Jha Corina S. Pasareanu CoGe 110 3 0 28 Mar 2024
DeepKnowledge: Generalisation-Driven Deep Learning Testing S. Missaoui Simos Gerasimou Nikolaos Matragkas 97 1 0 25 Mar 2024
Certified Human Trajectory Prediction Mohammadhossein Bahari Saeed Saadatnejad Amirhossein Asgari-Farsangi Seyed-Mohsen Moosavi-Dezfooli Alexandre Alahi AAML 159 2 0 20 Mar 2024
Adversarial Fine-tuning of Compressed Neural Networks for Joint Improvement of Robustness and Efficiency Hallgrimur Thorsteinsson Valdemar J Henriksen Tong Chen Raghavendra Selvan AAML 105 1 0 14 Mar 2024
DeepCDCL: An CDCL-based Neural Network Verification Framework Zongxin Liu Pengfei Yang Lijun Zhang Xiaowei Huang 78 5 0 12 Mar 2024
Verifiable Boosted Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Giulio Ermanno Pibiri AAML 99 0 0 22 Feb 2024
Building Guardrails for Large Language Models Yizhen Dong Ronghui Mu Gao Jin Yi Qi Jinwei Hu Xingyu Zhao Jie Meng Wenjie Ruan Xiaowei Huang OffRL 179 45 0 02 Feb 2024
Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment Shibbir Ahmed Hongyang Gao Hridesh Rajan 139 2 0 26 Jan 2024
Unraveling Attacks in Machine Learning-based IoT Ecosystems: A Survey and the Open Libraries Behind Them Chao-Jung Liu Boxi Chen Wei Shao Chris Zhang Kelvin Wong Yi Zhang 138 3 0 22 Jan 2024
Confidence Preservation Property in Knowledge Distillation Abstractions Dmitry Vengertsev Elena Sherman 84 1 0 21 Jan 2024
Harnessing Neuron Stability to Improve DNN Verification Hai V. Duong Dong Xu ThanhVu Nguyen Matthew B. Dwyer 85 10 0 19 Jan 2024
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing Y. Elboher R. Elsaleh Omri Isac Mélanie Ducoffe Audrey Galametz Guillaume Povéda Ryma Boumazouza Noémie Cohen Guy Katz AAML 144 4 0 08 Jan 2024
Inferring Properties of Graph Neural Networks Dat Nguyen Hieu M. Vu Cong-Thanh Le Bach Le David Lo Singapore Management University Corina Pasareanu University of Melbourne AI4CE AAML 116 1 0 08 Jan 2024