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 |
Speaker
Mon, 16:00 | Marabou 2.0: A Versatile Formal Analyzer of Neural Networks |
Tue, 17:00 | Shield Synthesis Modulo Theories |