Matthijs T.J. Spaan
Matthijs T.J. Spaan
Affiliation: Delft University of Technology
Pages in this Program
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑