ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying
Deep Neural Networks

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks

30 June 2024

Xusheng Luo

Changliu Liu

Papers citing "ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks"

4 / 4 papers shown

Title
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
Safe Control with Neural Network Dynamic Models Tianhao Wei Changliu Liu 29 35 0 03 Oct 2021
Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks Luca Marzari Ameya Pore Diego DallÁlba G. Aragon-Camarasa Alessandro Farinelli Paolo Fiorini 35 28 0 08 Feb 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017