3 papers
cs.CV2026
Certified Training for Convolutional Perturbations
Benedikt Brückner, Alessio Lomuscio
Vision models have been found to be susceptible to perturbations such as motion blur induced at runtime by a shaking camera. This impedes their deployment in critical applications…
cs.CV2026
Hybrid Robustness Verification for Spatio-Temporal Neural Networks
Sherwin Varghese, Matthew Wicker, Alessio Lomuscio
With AI increasingly deployed in safety-critical systems, providing formal robustness guarantees for the underlying models is essential. Existing verification methods either rely o…
cs.LG2025
Out-of-Distribution Detection using Counterfactual Distance
Maria Stoica, Francesco Leofante, Alessio Lomuscio
Accurate and explainable out-of-distribution (OOD) detection is required to use machine learning systems safely. Previous work has shown that feature distance to decision boundarie…