Popular repositories Loading

1. COOL-MC COOL-MC Public

   The interface between Model Checking and Reinforcement Learning.

   Python 11

2. safe-slac safe-slac Public

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

   Python 11 3

3. DynAbs DynAbs Public

   Controller synthesis for uncertain dynamical systems via formal abstractions

   Python 5 3

4. MC_PIA MC_PIA Public

   Python 3

5. ATM ATM Public

   Repository containing code for ICAPS-paper "Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring"

   Jupyter Notebook 3 2

6. luiaard luiaard Public

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

   Java 2 2