Wasserstrin Autoencoders

Source code for replicating the expriments presented in the paper Wasserstein Auto-encoded MDPs — Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees

WAE-MDPs