APA (7th ed.) Citation

Lutz, S., Spaan, M. T. J., & Lukina, A. (2025). VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Lutz, Sterre, et al. VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems After Change. 2025.