Popular repositories

1. safe-slac safe-slac Public

   Safe SLAC, an algorithm for safe cost-constrained reinforcement learning in high-dimensional POMDPs.

   Python 10 3

2. COOL-MC COOL-MC Public

   The interface between Model Checking and Reinforcement Learning.

   Python 5

3. DynAbs DynAbs Public

   Controller synthesis for uncertain dynamical systems via formal abstractions

   Python 3 1

4. MC_PIA MC_PIA Public

   Python 3

5. luiaard luiaard Public

   Code for the paper "Robust Anytime Learning of Markov Decision Processes"

   Java 2 2

6. lava-lab.github.io lava-lab.github.io Public

   JavaScript 2 2