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
- ☆40Updated 2 years ago
- ☆65Updated last year
- Logically-Constrained Reinforcement Learning☆53Updated 7 months ago
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆16Updated 4 years ago
- Reinforcement Learning framework for Temporal Goals☆11Updated last year
- Neurosymbolic transformers for multi-agent communication.☆21Updated 4 years ago
- DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning☆21Updated 3 years ago
- ☆24Updated 2 years ago
- Safe Reinforcement Learning algorithms☆73Updated 2 years ago
- ☆18Updated last year
- LAMBDA is a model-based reinforcement learning agent that uses Bayesian world models for safe policy optimization☆34Updated 2 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated last year
- Implementation of the Model-Based Meta-Policy-Optimization (MB-MPO) algorithm☆44Updated 6 years ago
- ☆30Updated last year
- Moore Machine Networks (MMN): Learning Finite-State Representations of Recurrent Policy Networks☆49Updated 2 years ago
- Safe Model-based Reinforcement Learning with Robust Cross-Entropy Method☆64Updated last year
- A collection of RL algorithms written in JAX.☆95Updated 2 years ago
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆69Updated 11 months ago
- Benchmarking RL generalization in an interpretable way.☆144Updated 3 weeks ago
- Safe exploration in Markov Decision Processes☆37Updated 7 years ago
- This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.o…☆28Updated 9 months ago
- Inverse Reinforcement Learning via State Marginal Matching, CoRL 2020☆44Updated last year
- TeachMyAgent is a testbed platform for Automatic Curriculum Learning methods in Deep RL.☆69Updated last year
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆17Updated last year
- ☆18Updated 4 years ago
- An OpenAI Gym environment for multi-agent car racing based on Gym's original car racing environment.☆79Updated 3 years ago
- Safe Policy Improvement with Baseline Bootstrapping☆26Updated 4 years ago
- ☆15Updated 7 months ago
- RE3: State Entropy Maximization with Random Encoders for Efficient Exploration☆68Updated 3 years ago
- Code for the paper "AlwaysSafe: Reinforcement Learning Without Safety Constraint Violations During Training"☆17Updated 2 years ago