Skip to content
Change the repository type filter

All

    Repositories list

    • ATM

      Public
      Repository containing code for ICAPS-paper "Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring"
      Jupyter Notebook
      2300Updated Oct 29, 2024Oct 29, 2024
    • COOL-MC

      Public
      The interface between Model Checking and Reinforcement Learning.
      Python
      0700Updated Sep 16, 2024Sep 16, 2024
    • Robust policies for uPOMDPs via CCP and SCP methods
      Python
      0000Updated Sep 12, 2024Sep 12, 2024
    • DynAbs

      Public
      Controller synthesis for uncertain dynamical systems via formal abstractions
      Python
      2510Updated Aug 25, 2024Aug 25, 2024
    • Verified control of stochastic systems using neural certificates
      Python
      0000Updated Aug 21, 2024Aug 21, 2024
    • 0000Updated Jul 12, 2024Jul 12, 2024
    • Python
      0000Updated Feb 20, 2024Feb 20, 2024
    • Python
      MIT License
      0100Updated Dec 22, 2023Dec 22, 2023
    • Repository containing the code accompanying the AAAI-24 paper on Many-Agent POMDPs.
      Jupyter Notebook
      MIT License
      1000Updated Dec 20, 2023Dec 20, 2023
    • RATM

      Public
      Repository containing code for AAAI 2024 paper "Robust Active Measuring in Uncertain Environments"
      Roff
      0000Updated Dec 19, 2023Dec 19, 2023
    • FBA

      Public
      Python
      0000Updated Sep 7, 2023Sep 7, 2023
    • Raku
      GNU General Public License v3.0
      0200Updated Jul 14, 2023Jul 14, 2023
    • Python
      1210Updated Mar 14, 2023Mar 14, 2023
    • safe-slac

      Public
      Safe SLAC, an algorithm for safe cost-constrained reinforcement learning in high-dimensional POMDPs.
      Python
      MIT License
      31110Updated Mar 1, 2023Mar 1, 2023
    • spi_pomdp

      Public
      Code for the paper "Safe Policy Improvement for POMDPs via Finite-State Controllers"
      Python
      MIT License
      0100Updated Feb 6, 2023Feb 6, 2023
    • pogym

      Public
      Partially observable environments for reinforcement learning
      Python
      MIT License
      0200Updated Jan 30, 2023Jan 30, 2023
    • MC_PIA

      Public
      Python
      0300Updated Dec 9, 2022Dec 9, 2022
    • luiaard

      Public
      Code for the paper "Robust Anytime Learning of Markov Decision Processes"
      Java
      GNU General Public License v2.0
      2200Updated Nov 29, 2022Nov 29, 2022
    • slurf

      Public
      Sampling-Based Verification of CTMCs with Uncertain Rates
      Python
      GNU General Public License v3.0
      0000Updated Nov 21, 2022Nov 21, 2022