SAIV 2024

Speaker

Guy Amir

Talks at this conference:
 Mon, 16:00 Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
 Tue, 17:00 Shield Synthesis Modulo Theories

 Overview