Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees.

Florent Delgrange, Ann Now, Guillermo A. Prez

Browse the full ICLR paper archive.