TY  - RPRT
TI  - Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees
AU  - Florent Delgrange
AU  - Ann Nowé
AU  - Guillermo A. Pérez
PY  - 2023
UR  - https://arxiv.org/abs/2303.12558
ID  - 2303.12558
ER  -