Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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