Pinned Loading

1. wae_mdp wae_mdp Public

   Wasserstein Auto-encoded Markov Decision Processes: a framework to distill Reinforcement Learning policies into verifiable controllers with bisimulation guarantees

   Jupyter Notebook 4 1

2. vae_mdp vae_mdp Public

   Implementation of Variational Markov Decision Processes, a framework allowing to (i) distill policies learned through (deep) reinforcement learning and (ii) learn discrete abstractions of continuou…

   Jupyter Notebook 5 2

3. synthesis_from_drl synthesis_from_drl Public

   Composing reinforcement learning policies, with formal guarantees

   Python 1

4. raphaelavalos/wbu raphaelavalos/wbu Public

   Python 3 1