Casadio, Marco

1. Neural Network Robustness as a Verification Property: A Principled Case Study
   2021/04/03 by Marco Casadio, Ekaterina Komendantskaya, Casadio, Marco +11 · 6 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Fault Detection and Control Systems
2. ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
   2023/05/06 by Casadio, Marco, Arnaboldi, Luca, Daggitt, Matthew L. +5 · 1 citation
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
3. Neural Network Verification for Gliding Drone Control: A Case Study
   2025/05/01 by Kessler, Colin, Komendantskaya, Ekaterina, Casadio, Marco +5 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering