IBM / vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
☆56Updated 3 years ago
Alternatives and similar repositories for vsrl-framework:
Users that are interested in vsrl-framework are comparing it to the libraries listed below
- ☆41Updated 2 years ago
- DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning☆22Updated 4 years ago
- Logically-Constrained Reinforcement Learning☆54Updated 9 months ago
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆16Updated 4 years ago
- Implementation of the Model-Based Meta-Policy-Optimization (MB-MPO) algorithm☆44Updated 6 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago
- Easy MDPs and grid worlds with accessible transition dynamics to do exact calculations☆49Updated 3 years ago
- ☆67Updated last year
- Reinforcement Learning framework for Temporal Goals☆11Updated 2 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆9Updated 2 years ago
- A toolkit for working with RDDL domains in Python3.☆17Updated 4 years ago
- LAMBDA is a model-based reinforcement learning agent that uses Bayesian world models for safe policy optimization☆33Updated 2 years ago
- Moore Machine Networks (MMN): Learning Finite-State Representations of Recurrent Policy Networks☆49Updated 2 years ago
- Safe Reinforcement Learning algorithms☆74Updated 2 years ago
- Neurosymbolic transformers for multi-agent communication.☆22Updated 4 years ago
- ☆24Updated 2 years ago
- ☆30Updated last year
- Safe Model-based Reinforcement Learning with Robust Cross-Entropy Method☆66Updated 2 years ago
- Code for "Calibrated Model-Based Deep Reinforcement Learning", ICML 2019.☆56Updated 5 years ago
- Implementations of SAILR, PDO, and CSC☆32Updated 9 months ago
- ☆18Updated last year
- A collection of RL algorithms written in JAX.☆97Updated 2 years ago
- ☆98Updated 2 years ago
- Safe exploration in Markov Decision Processes☆37Updated 7 years ago
- On the model-based stochastic value gradient for continuous reinforcement learning☆55Updated last year
- IV-RL - Sample Efficient Deep Reinforcement Learning via Uncertainty Estimation☆40Updated 5 months ago
- This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.o…☆29Updated 10 months ago
- Safe Policy Improvement with Baseline Bootstrapping☆26Updated 4 years ago
- 📴 OffCon^3: SOTA PyTorch SAC and TD3 Implementations (arxiv: 2101.11331)☆24Updated 3 years ago
- Implementation of (Learning Continuous Control Policies by Stochastic Value Gradients)[https://arxiv.org/abs/1510.09142]☆26Updated 3 years ago