Safe-RL-Team / viper-verifiable-rl-implLinks
Implementation of the VIPER algorithm introduced in "Verifiable Reinforcement Learning via Policy Extraction" by Bastani et al.
☆17Updated last year
Alternatives and similar repositories for viper-verifiable-rl-impl
Users that are interested in viper-verifiable-rl-impl are comparing it to the libraries listed below
Sorting:
- A Survey on Explainable Reinforcement Learning: Concepts, Algorithms, Challenges☆251Updated 8 months ago
- Source Code for A Closer Look at Invalid Action Masking in Policy Gradient Algorithms☆164Updated 2 years ago
- Code snippets of Meta Reinforcement Learning algorithms☆39Updated 2 years ago
- An extension of the PyMARL codebase that includes additional algorithms and environment support☆632Updated last year
- This repo supports integrating LLMs and communication algorithms with MARL using SMAC as the platform. It provides an end-to-end workflow…☆11Updated 7 months ago
- multi-agent deep reinforcement learning for networked system control.☆424Updated 5 years ago
- Multi-Objective Reinforcement Learning☆286Updated 4 years ago
- ☆21Updated 3 years ago
- ☆76Updated 6 years ago
- The repository is for safe reinforcement learning baselines.☆711Updated 2 months ago
- Multi-Agent Reinforcement Learning (MARL) papers☆276Updated 3 years ago
- The pytorch implementation of DGN on grid world and Starcraft☆147Updated 3 years ago
- Source code for the dissertation: "Multi-Pass Deep Q-Networks for Reinforcement Learning with Parameterised Action Spaces"☆221Updated 6 years ago
- A collection of offline reinforcement learning algorithms.☆201Updated 10 months ago
- PyTorch implementation of Foerster, Jakob N., et al. "Counterfactual multi-agent policy gradients."☆60Updated 5 years ago
- Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework☆68Updated 4 years ago
- Code for Weighted QMIX☆140Updated 4 years ago
- Explainable Causal Reinforcement Learning with attention☆33Updated 2 years ago
- Deep Transformer Q-Networks for Partially Observable Reinforcement Learning☆170Updated last year
- A clean and robust Pytorch implementation of PPO on continuous action space.☆164Updated last year
- ☆40Updated 3 years ago
- Adversarial attacks on Deep Reinforcement Learning (RL)☆97Updated 4 years ago
- Simple (but often Strong) Baselines for POMDPs in PyTorch, ICML 2022☆335Updated last year
- PyTorch implementation of SAC-Discrete.☆311Updated last year
- Multi-Agent Reinforcement Learning (MARL) papers with code☆402Updated 3 years ago
- A plotter for reinforcement learning (RL)☆233Updated 3 years ago
- A repository of high-performing hierarchical reinforcement learning models and algorithms.☆321Updated 2 years ago
- ☆217Updated 2 years ago
- NeurIPS 2023: Safe Policy Optimization: A benchmark repository for safe reinforcement learning algorithms☆377Updated last year
- Constrained Policy Optimization implementation on Safety Gym☆28Updated 3 years ago