Ferdinando Cicalese

1. Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
   2023/08/18 by Luca Marzari, Marzari, Luca, Davide Corsi +7 · 7 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
2. On the Complexity of Searching in Trees: Average-case Minimization
   2009/04/22 by Ferdinando Cicalese, Cicalese, Ferdinando, Tobias Jacobs +6 · 1 citation
   Computer Science · #Algorithms and Data Compression #Data Management and Algorithms #Optimization and Search Problems #cs.DM #cs.DS
3. Bounds on the Entropy of a Function of a Random Variable and their\n Applications
   2017/12/21 by Ferdinando Cicalese, Luisa Gargano, Cicalese, Ferdinando +3 · 1 citation
   Decision Sciences · Engineering · #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Information Theory (cs.IT) #Multi-Criteria Decision Making #Risk and Portfolio Optimization #Wireless Communication Security Techniques
4. The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks
   2023/01/17 by Luca Marzari, Marzari, Luca, Davide Corsi +5 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Advanced Neural Network Applications
5. Trading off Worst and Expected Cost in Decision Tree Problems and a Value Dependent Model
   2014/06/13 by Aline Saettler, Saettler, Aline, Eduardo Sany Laber +4 · 1 citation
   Computer Science · #Bayesian Modeling and Causal Inference #Complexity and Algorithms in Graphs #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Machine Learning and Algorithms #cs.DS