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 week
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☆254Updated 9 months ago
- Code snippets of Meta Reinforcement Learning algorithms☆39Updated 2 years ago
- This repo supports integrating LLMs and communication algorithms with MARL using SMAC as the platform. It provides an end-to-end workflow…☆11Updated 8 months ago
- Source Code for A Closer Look at Invalid Action Masking in Policy Gradient Algorithms☆165Updated 2 years ago
- Multi-Objective Reinforcement Learning☆290Updated 4 years ago
- Multi-Agent Reinforcement Learning (MARL) papers☆278Updated 3 years ago
- The pytorch implementation of DGN on grid world and Starcraft☆148Updated 3 years ago
- multi-agent deep reinforcement learning for networked system control.☆429Updated 5 years ago
- An extension of the PyMARL codebase that includes additional algorithms and environment support☆651Updated last year
- Multi-Agent Reinforcement Learning (MARL) papers with code☆407Updated 3 years ago
- A Pytorch implementation of the multi agent deep deterministic policy gradients (MADDPG) algorithm☆366Updated 4 years ago
- A clean and robust Pytorch implementation of PPO on continuous action space.☆166Updated last year
- Source code for the dissertation: "Multi-Pass Deep Q-Networks for Reinforcement Learning with Parameterised Action Spaces"☆222Updated 6 years ago
- ☆21Updated 3 years ago
- Multi-Agent Constrained Policy Optimisation (MACPO; MAPPO-L).☆204Updated last year
- ☆218Updated 2 years ago
- PyTorch Implementation of MADDPG (Lowe et. al. 2017)☆663Updated 5 years ago
- Code for Dynamic Weights in Multi-Objective Deep Reinforcement Learning☆104Updated 2 years ago
- Deep Q-learning (DQN) for Multi-agent Reinforcement Learning (RL)☆354Updated 5 years ago
- PyTorch implementation of the discrete Soft-Actor-Critic algorithm.☆54Updated 4 years ago
- A plotter for reinforcement learning (RL)☆234Updated 3 years ago
- PyTorch implementation of SAC-Discrete.☆310Updated last year
- ☆450Updated last year
- Code for Weighted QMIX☆144Updated 5 years ago
- ☆40Updated 4 years ago
- PyTorch implementations of popular off-policy multi-agent reinforcement learning algorithms, including QMix, VDN, MADDPG, and MATD3.☆511Updated 2 years ago
- ☆76Updated 6 years ago
- A clean and robust Pytorch implementation of SAC on discrete action space☆41Updated last year
- The code for maddpg using pytorch☆169Updated 5 years ago
- PyTorch implementation of Foerster, Jakob N., et al. "Counterfactual multi-agent policy gradients."☆61Updated 5 years ago