Bartocci, Ezio

3 publications

ICML 2025 Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs Andrey Kofnov, Daniel Kapla, Ezio Bartocci, Efstathia Bura

IJCAI 2025 Rule-Guided Reinforcement Learning Policy Evaluation and Improvement Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci

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