Weissenbacher, Georg

2 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

IJCAI 2019 Model-Based Diagnosis with Multiple Observations Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva