Repairing Learning-Enabled Controllers While Preserving What Works

Documenti analoghi

• Conservative Perception Models for Probabilistic Verification
  di: Cleaveland, Matthew, et al.
  Pubblicazione: (2025)
• Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works
  di: Lu, Pengyuan, et al.
  Pubblicazione: (2024)
• Conformal Prediction Regions for Time Series using Linear Complementarity Programming
  di: Cleaveland, Matthew, et al.
  Pubblicazione: (2023)
• What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems
  di: Li, Chengyu, et al.
  Pubblicazione: (2025)
• Distributionally Robust Statistical Verification with Imprecise Neural Networks
  di: Dutta, Souradeep, et al.
  Pubblicazione: (2023)