Framework for Certification of AI-Based Systems

21 February 2023

Maxime Gariel

Papers citing "Framework for Certification of AI-Based Systems"

2 / 2 papers shown

Title
gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks Natan Levy Raz Yerushalmi Guy Katz AAML 20 1 0 05 Jan 2023
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