Formal Verification and Control with Conformal Prediction

Documenti analoghi

• Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
  di: Zhao, Yiqi, et al.
  Pubblicazione: (2023)
• Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
  di: Zhao, Yiqi, et al.
  Pubblicazione: (2025)
• Conformal Predictive Programming for Chance Constrained Optimization
  di: Zhao, Yiqi, et al.
  Pubblicazione: (2024)
• When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
  di: Rahaman, Kaizer, et al.
  Pubblicazione: (2026)
• eCP: Equivariant Conformal Prediction with pre-trained models
  di: Bousias, Nikolaos, et al.
  Pubblicazione: (2026)