Projects

VAE-MDPs
Source code for replicating the expriments presented in the paper Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes
VAE-MDPs