LAVA-LAB

ATM

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

CMARL-VERIFICATION

COOL-MC

The interface between Model Checking and Reinforcement Learning.

DynAbs

Controller synthesis for uncertain dynamical systems via formal abstractions

lava-lab.github.io

luiaard

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

MC_PIA

pogym

Partially observable environments for reinforcement learning

prmc-sensitivity

safe-slac

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

LAVA-LAB/safe-slac

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

LAVA-LAB/COOL-MC

The interface between Model Checking and Reinforcement Learning.

LAVA-LAB/DynAbs

Controller synthesis for uncertain dynamical systems via formal abstractions

LAVA-LAB/ATM

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

LAVA-LAB/MC_PIA

LAVA-LAB/CMARL-VERIFICATION

LAVA-LAB/lava-lab.github.io

LAVA-LAB/luiaard

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

LAVA-LAB/pogym

Partially observable environments for reinforcement learning

LAVA-LAB/prmc-sensitivity

LAVA-LAB/improved_spi

LAVA-LAB/spi_pomdp

Code for the paper "Safe Policy Improvement for POMDPs via Finite-State Controllers"

LAVA-LAB/FBA

LAVA-LAB/neural_stochastic_control

Verified control of stochastic systems using neural certificates

LAVA-LAB/RATM

Repository containing code for AAAI 2024 paper "Robust Active Measuring in Uncertain Environments"

LAVA-LAB/slurf

Sampling-Based Verification of CTMCs with Uncertain Rates

LAVA-LAB/dynabs-jax

LAVA-LAB/ipomdp_cvx

Robust policies for uPOMDPs via CCP and SCP methods

LAVA-LAB/many-agent-planning

Repository containing the code accompanying the AAAI-24 paper on Many-Agent POMDPs.

LAVA-LAB/RPOMDP_game_semantics_value_functions