SAIV 2026

Speaker

Anna Lukina

More Information:
Talks at this conference:
 Fri, 11:30 VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
 Sat, 16:00 Faster Optimization of Decision Tree Policies for Markov Decision Processes

 Overview