Lomuscio, Alessio

1. An approach to reachability analysis for feed-forward ReLU neural networks
   2017/06/22 by Alessio Lomuscio, Lomuscio, Alessio, Lalit Maganti +1 · 42 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Fault Detection and Control Systems #Fuel Cells and Related Materials
2. Expressive Losses for Verified Robustness via Convex Combinations
   2023/05/23 by Alessandro De Palma, Rudy Bunel, De Palma, Alessandro +9 · 7 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
3. MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
   2014/02/11 by Petr Čermák, Alessio Lomuscio, Čermák, Petr +5 · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
4. A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
   2025/02/05 by Manginas, Vasileios, Manginas, Nikolaos, Stevinson, Edward +4 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences