Cicalese, Ferdinando

8 publications

JAIR 2025 Probabilistically Tightened Linear Relaxation-Based Perturbation Analysis for Neural Network Verification Luca Marzari, Ferdinando Cicalese, Alessandro Farinelli

AAAI 2024 Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese

ECML-PKDD 2023 On the Good Behaviour of Extremely Randomized Trees in Random Forest-Distance Computation Manuele Bicego, Ferdinando Cicalese

IJCAI 2023 The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli

NeurIPS 2022 Decision Trees with Short Explainable Rules Victor Feitosa Souza, Ferdinando Cicalese, Eduardo Laber, Marco Molinaro

ICML 2020 Teaching with Limited Information on the Learner’s Behaviour Ferdinando Cicalese, Sergio Filho, Eduardo Laber, Marco Molinaro

ICML 2019 New Results on Information Theoretic Clustering Ferdinando Cicalese, Eduardo Laber, Lucas Murtinho

ICML 2014 Diagnosis Determination: Decision Trees Optimizing Simultaneously Worst and Expected Testing Cost Ferdinando Cicalese, Eduardo Laber, Aline Medeiros Saettler