Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case

Documenti analoghi

• Model-free Anomaly Detection for Dynamical Systems with Gaussian Processes
  di: Riveiros, Alejandro Penacho, et al.
  Pubblicazione: (2026)
• Detectability of Subtle Anomalies in Dynamical Systems via Log-Likelihood Ratio
  di: Riveiros, Alejandro Penacho, et al.
  Pubblicazione: (2026)
• Physics-Informed Detection of Friction Anomalies in Satellite Reaction Wheels
  di: Riveiros, Alejandro Penacho, et al.
  Pubblicazione: (2025)
• tvopt: A Python Framework for Time-Varying Optimization
  di: Bastianello, Nicola
  Pubblicazione: (2020)
• Enhancing Privacy in Federated Learning through Local Training
  di: Bastianello, Nicola, et al.
  Pubblicazione: (2024)