Safe-RL-Team / viper-verifiable-rl-implLinks
Implementation of the VIPER algorithm introduced in "Verifiable Reinforcement Learning via Policy Extraction" by Bastani et al.
☆14Updated 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☆239Updated 4 months ago
- Public code for implementation and experiments with differentiable decision trees.☆28Updated 8 months ago
- Level-based Foraging (LBF): A multi-agent environment for RL☆182Updated 9 months ago
- Hierarchical Cooperative Multi-Agent Reinforcement Learning with Skill Discovery☆103Updated 3 years ago
- PyTorch implementation of the Offline Reinforcement Learning algorithm CQL. Includes the versions DQN-CQL and SAC-CQL for discrete and co…☆137Updated last year
- A collection of offline reinforcement learning algorithms.☆189Updated 7 months ago
- Deep Transformer Q-Networks for Partially Observable Reinforcement Learning☆163Updated 11 months ago
- Codes accompanying the paper "Learning Nearly Decomposable Value Functions with Communication Minimization" (ICLR 2020)☆81Updated 2 years ago
- The official code releasement of publications in MARL field of TJU RL lab.☆79Updated 2 years ago
- Prioritized Experience Replay implementation with proportional prioritization☆81Updated last year
- Source Code for A Closer Look at Invalid Action Masking in Policy Gradient Algorithms☆155Updated 2 years ago
- ☆20Updated 3 years ago
- 🤖 Elegant implementations of offline safe RL algorithms in PyTorch☆205Updated 9 months ago
- Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework☆66Updated 4 years ago
- Open-source code for paper CDT: Cascading Decision Trees for Explainable Reinforcement Learning☆38Updated 2 years ago
- Minimal implementation of multi-agent reinforcement learning algorithms☆56Updated 3 years ago
- Level-Based Foraging (LBF): A multi-agent reinforcement learning environment☆47Updated 9 months ago
- PyTorch implementation of the Option-Critic framework, Harb et al. 2016☆128Updated 10 months ago
- The official code base of Shared Experience Actor-Critic (NeurIPS2020)☆39Updated last year
- This repo is the implementation of paper ''SHAQ: Incorporating Shapley Value Theory into Multi-Agent Q-Learning''.☆47Updated last year
- Datasets with baselines for offline multi-agent reinforcement learning.☆172Updated last month
- ☆49Updated 3 years ago
- Constrained Policy Optimization implementation on Safety Gym☆27Updated 3 years ago
- Solving POMDP using Recurrent networks☆86Updated 5 years ago
- Codes accompanying the paper "RODE: Learning Roles to Decompose Multi-Agent Tasks (ICLR 2021, https://arxiv.org/abs/2010.01523). RODE is …☆76Updated 6 months ago
- Negative Update Intervals in Multi-Agent Deep Reinforcement Learning☆33Updated 6 years ago
- Code for the NeurIPS 2023 Paper: Robust Multi-Agent Reinforcement Learning via Adversarial Regularization: Theoretical Foundation and Sta…☆24Updated last year
- ☆252Updated last year
- Multi-Agent Constrained Policy Optimisation (MACPO; MAPPO-L).☆179Updated last year
- The implementation of AAAI 2022 paper "Multi-Agent Incentive Communication via Decentralized Teammate Modeling".☆56Updated last year