Speaker
Matthijs T.J. Spaan
More Information:
Talks at this conference:
| Fri, 11:30 | VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change |
Speaker
| Fri, 11:30 | VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change |