Athavale, Anagha

1 publications

ICMLW 2024 Distillation Based Robustness Verification with PAC Guarantees Patrick Indri, Peter Blohm, Anagha Athavale, Ezio Bartocci, Georg Weissenbacher, Matteo Maffei, Dejan Nickovic, Thomas Gärtner, Sagar Malhotra