AI-FM

Popular repositories Loading

1. COOL-MC COOL-MC Public

   The interface between probabilistic model checking and data-driven policy learning.

   Python 21 2

2. safe-slac safe-slac Public

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

   Python 13 3

3. DynAbs DynAbs Public

   Controller synthesis for uncertain dynamical systems via formal abstractions

   Python 7 3

4. luiaard luiaard Public

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

   Java 3 3

5. MC_PIA MC_PIA Public

   Python 3

6. 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