Skip to content

@LAVA-LAB LAVA-LAB

Change the repository type filter

All

    Repositories list

    21 repositories

    • DynAbs

      Public
      Controller synthesis for uncertain dynamical systems via formal abstractions
      Python
      •3•5•1•0•Updated Oct 13, 2025Oct 13, 2025

    • dynabs-jax

      Public
      Python
      •0•1•0•0•Updated Jul 31, 2025Jul 31, 2025

    • lava-lab.github.io

      Public
      machine-learningreinforcement-learningailabartificial-intelligenceformal-methodsformal-verificationdecision-making-under-uncertainty
      JavaScript
      •
      MIT License
      •2•2•0•0•Updated Jul 24, 2025Jul 24, 2025

    • COOL-MC

      Public
      The interface between Model Checking and Reinforcement Learning.
      Python
      •0•11•0•0•Updated Jul 21, 2025Jul 21, 2025

    • logRASM

      Public
      Python
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Jun 16, 2025Jun 16, 2025

    • luiaard

      Public
      Code for the paper "Robust Anytime Learning of Markov Decision Processes"
      reinforcement-learningmarkov-decision-processesformal-verificationmodel-based-rlrobust-reinforcement-learning
      Java
      •
      GNU General Public License v2.0
      •2•2•0•0•Updated May 20, 2025May 20, 2025

    • neural_stochastic_control

      Public
      Verified control of stochastic systems using neural certificates
      0•0•0•0•Updated Apr 11, 2025Apr 11, 2025

    • ATM

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

    • ipomdp_cvx

      Public
      Robust policies for uPOMDPs via CCP and SCP methods
      Python
      •1•0•0•0•Updated Sep 12, 2024Sep 12, 2024

    • RPOMDP_game_semantics_value_functions

      Public
      0•0•0•0•Updated Jul 12, 2024Jul 12, 2024

    • improved_spi

      Public
      Python
      •
      MIT License
      •0•1•0•0•Updated Dec 22, 2023Dec 22, 2023

    • many-agent-planning

      Public
      Repository containing the code accompanying the AAAI-24 paper on Many-Agent POMDPs.
      Jupyter Notebook
      •
      MIT License
      •2•0•0•0•Updated Dec 20, 2023Dec 20, 2023

    • RATM

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

    • FBA

      Public
      Python
      •0•0•0•0•Updated Sep 7, 2023Sep 7, 2023

    • prmc-sensitivity

      Public
      Raku
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Jul 14, 2023Jul 14, 2023

    • CMARL-VERIFICATION

      Public
      Python
      •1•2•1•0•Updated 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
      •4•11•1•0•Updated Mar 1, 2023Mar 1, 2023

    • spi_pomdp

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

    • pogym

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

    • MC_PIA

      Public
      Python
      •0•3•0•0•Updated Dec 9, 2022Dec 9, 2022

    • slurf

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