VAE-MDP

Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees @ BNAIC/BeNeLearn 2022

Nov 7, 2022 — Nov 9, 2022 Mechelen, Belgium

Florent Delgrange, Ann Nowé, Guillermo A. Pérez