Volume: Vol-4142 OVERLAY 2025 | Year: 2025

Paper: « xpreface | paper1 | paper2 »

On the Verification of ML Systems and Models

• Greta Dolcetti
• Vincenzo Arceri
• Agostino Cortesi
• Enea Zaffanella

3-12 PDF