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☆241Updated 5 months ago
- Source Code for A Closer Look at Invalid Action Masking in Policy Gradient Algorithms☆156Updated 2 years ago
- Level-based Foraging (LBF): A multi-agent environment for RL☆183Updated 10 months ago
- Solving POMDP using Recurrent networks☆87Updated 5 years ago
- Experiments with reinforcement learning and recurrent neural networks☆114Updated last year
- Adversarial attacks on Deep Reinforcement Learning (RL)☆91Updated 4 years ago
- Adversarial Reinforcement Learning papers (single-agent setting and multi-agent setting)☆71Updated 2 years ago
- Multi Type Mean Field Reinforcement Learning☆31Updated 3 years ago
- reinforcement learning with pytorch geometric library☆50Updated 3 years ago
- 🤖 Elegant implementations of offline safe RL algorithms in PyTorch☆204Updated 10 months ago
- A collection of environments and reference agents for planning and reinforcement learning research in partially observable, multi-agent …☆22Updated last month
- Deep Transformer Q-Networks for Partially Observable Reinforcement Learning☆163Updated last year
- Multi-Agent Constrained Policy Optimisation (MACPO; MAPPO-L).☆180Updated last year
- Transformer in RL for decision-making☆96Updated 2 years ago
- PyTorch implementation of GAIL and AIRL based on PPO.☆223Updated 4 years ago
- Pytorch GAIL VAIL AIRL VAIRL EAIRL SQIL Implementation☆65Updated 4 years ago
- Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework☆67Updated 4 years ago
- Collection of OpenAI parametrized action-space environments.☆65Updated 3 months 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
- Implementation of the paper https://arxiv.org/abs/1603.00448.☆36Updated 4 years ago
- Deep Reinforcement Learning codes for study. Currently, there are only codes for algorithms: DQN, C51, QR-DQN, IQN, QUOTA.☆213Updated 2 years ago
- The official code releasement of publications in MARL field of TJU RL lab.☆79Updated 3 years ago
- Code for "Constrained Variational Policy Optimization for Safe Reinforcement Learning" (ICML 2022)☆79Updated 2 years ago
- Minimal implementation of multi-agent reinforcement learning algorithms☆56Updated 3 years ago
- Constrained Policy Optimization implementation on Safety Gym☆27Updated 3 years ago
- PyTorch implementation of the paper "Deep Reinforcement Learning in Large Discrete Action Spaces" (Gabriel Dulac-Arnold, Richard Evans, H…☆71Updated 5 years ago
- A library for mean-field games.☆53Updated 2 weeks ago
- Datasets with baselines for offline multi-agent reinforcement learning.☆174Updated 2 months ago
- [NeurIPS 2020, Spotlight] Code for "Robust Deep Reinforcement Learning against Adversarial Perturbations on Observations"☆133Updated 3 years ago
- Implementation of Double DQN reinforcement learning for OpenAI Gym environments with PyTorch.☆69Updated last month