Neural network repair with reachability analysis

DOI10.1007/978-3-031-15839-1_13OpenAlexW4293399548MaRDI QIDQ2112124

Hoang-Dung Tran, Tom Yamaguchi, Danil Prokhorov, Taylor T. Johnson, Xiao-Dong Yang, Bardh Hoxha

Publication date: 18 January 2023

Full work available at URL: https://arxiv.org/abs/2108.04214

zbMATH Keywords

reachability analysisneural network repair

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Quantitative Verification for Neural Networks using ProbStars

Uses Software

• OpenAI Gym
• NNRepair
• Veritex

Cites Work

• Reluplex: an efficient SMT solver for verifying deep neural networks

This page was built for publication: Neural network repair with reachability analysis