VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change.

Sterre Lutz, Matthijs T. J. Spaan, Anna Lukina

Browse the full IJCAI paper archive.