AI Lab, VUB; AI Lab, Vrije Universiteit Brussel (VUB), University of Antwerp; University of Antwerp, Flanders Make
Florent Delgrange, Ann Nowe, Guillermo Perez
Reinforcement learning;Formal Verification;Representation Learning
Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees