Speaker
Sterre Lutz
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 |