An SMT-Based Approach for Verifying Binarized Neural Networks

von Amir, Guy
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Verifying Learning-Based Robotic Navigation Systems

von Amir, Guy
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

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

von Casadio, Marco
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)