Safe-RL-Team / viper-verifiable-rl-impl
Implementation of the VIPER algorithm introduced in "Verifiable Reinforcement Learning via Policy Extraction" by Bastani et al.
☆12Updated 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
- Open-source code for paper CDT: Cascading Decision Trees for Explainable Reinforcement Learning☆38Updated last year
- Experiments with reinforcement learning and recurrent neural networks☆113Updated last year
- The official code releasement of publications in MARL field of TJU RL lab.☆67Updated 2 years ago
- Public code for implementation and experiments with differentiable decision trees.☆24Updated 3 months ago
- A collection of offline reinforcement learning algorithms.☆164Updated last month
- A Survey on Explainable Reinforcement Learning: Concepts, Algorithms, Challenges☆217Updated last year
- Code for MOPO: Model-based Offline Policy Optimization☆173Updated 2 years ago
- Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework☆60Updated 3 years ago
- ☆20Updated 3 years ago
- Solving POMDP using Recurrent networks☆85Updated 4 years ago
- PyTorch implementation of Foerster, Jakob N., et al. "Counterfactual multi-agent policy gradients."☆56Updated 4 years ago
- Official code of Nash-DQN for paper: Nash-DQN algorithm for two-player zero-sum Markov games, details see our paper: A Deep Reinforcement…☆20Updated 2 years ago
- 🤖 Elegant implementations of offline safe RL algorithms in PyTorch☆186Updated 4 months ago
- A collection of environments and reference agents for planning and reinforcement learning research in partially observable, multi-agent …☆18Updated 2 months ago
- Level-based Foraging (LBF): A multi-agent environment for RL☆169Updated 4 months ago
- PyTorch implementation of the Option-Critic framework, Harb et al. 2016☆121Updated 5 months ago
- Deep Reinforcement Learning codes for study. Currently, there are only codes for algorithms: DQN, C51, QR-DQN, IQN, QUOTA.☆206Updated last year
- Code for Dynamic Weights in Multi-Objective Deep Reinforcement Learning☆90Updated last year
- The implement of all kinds of dqn reinforcement learning with Pytorch☆92Updated 3 years ago
- PyTorch implementation of the Offline Reinforcement Learning algorithm CQL. Includes the versions DQN-CQL and SAC-CQL for discrete and co…☆129Updated 8 months ago
- Distributional Soft Actor Critic☆50Updated 4 years ago
- Model-Based Offline Reinforcement Learning☆48Updated 4 years ago
- PyTorch implementation of GAIL and AIRL based on PPO.☆204Updated 4 years ago
- Source Code for A Closer Look at Invalid Action Masking in Policy Gradient Algorithms☆149Updated last year
- Adversarial Reinforcement Learning papers (single-agent setting and multi-agent setting)☆64Updated 2 years ago
- Constrained Policy Optimization implementation on Safety Gym☆23Updated 3 years ago
- Explorer is a PyTorch reinforcement learning framework for exploring new ideas.☆90Updated 4 months ago
- Codes accompanying the paper "Learning Nearly Decomposable Value Functions with Communication Minimization" (ICLR 2020)☆80Updated 2 years ago
- This is the official implementation of ERL-Re2.☆60Updated 7 months ago
- A python library for eXplainable Reinforcement Learning (XRL) based on the concept of interestingness elements.☆19Updated 3 years ago