ML Anthology

Lutz, Sterre

1 publications

IJCAI 2025 VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems After Change Sterre Lutz, Matthijs T. J. Spaan, Anna Lukina