SAIV 2026
About
Call for Papers
Committees
Program
Talks
Speakers & Authors
Editions
SAIV 2026
SAIV 2025
SAIV 2024
FoMLAS 2023
WOLVERINE 2023
FoMLAS 2022
WOLVERINE 2022
FoMLAS 2021
WOLVERINE 2021
FoMLAS 2020
FoMLAS 2019
FoMLAS 2018
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
×