Alternatives and similar repositories for Protos

Users that are interested in Protos are comparing it to the libraries listed below

• cage-challenge / cage-challenge-1
  ☆55Updated 2 years ago
• whitemech / temprl
  Reinforcement Learning framework for Temporal Goals
  ☆11Updated 2 years ago
• grockious / lcrl
  Logically-Constrained Reinforcement Learning
  ☆55Updated last year
• cage-challenge / CybORG
  Cyber Operations Research Gym
  ☆88Updated last year
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆25Updated last month
• grockious / deepsynth
  DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
  ☆22Updated 4 years ago
• RodrigoToroIcarte / reward_machines
  ☆70Updated last year
• AlgTUDelft / AlwaysSafe
  Code for the paper "AlwaysSafe: Reinforcement Learning Without Safety Constraint Violations During Training"
  ☆17Updated 3 years ago
• safe-rl / safe-rl-shielding
  ☆43Updated 2 years ago
• keyshor / spectrl_tool
  Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…
  ☆17Updated 4 years ago
• aijunbai / taxi
  Hierarchical Online Planning and Reinforcement Learning on Taxi
  ☆30Updated 7 years ago
• IBM / vsrl-framework
  The Verifiably Safe Reinforcement Learning Framework
  ☆57Updated 4 years ago
• mynkpl1998 / Recurrent-Deep-Q-Learning
  Solving POMDP using Recurrent networks
  ☆90Updated 5 years ago
• ssanner / rddlsim
  Automatically exported from code.google.com/p/rddlsim
  ☆54Updated last year
• gavlegoat / safe-learning
  ☆18Updated 2 years ago
• carloderamo / shared
  ☆30Updated 3 years ago
• d3sm0 / gym_pomdp
  Gym-like extensions for POMDP
  ☆57Updated 4 years ago
• FedUni / MORL
  Multi-Objective Reinforcement Learning components built on top of RL glue components
  ☆29Updated 2 years ago
• natasha-jeppu / Trace2Model
  Learning Concise Models from Long Execution Traces
  ☆13Updated 3 years ago
• Limmen / gym-optimal-intrusion-response
  A Simulated Optimal Intrusion Response Game
  ☆21Updated 3 years ago
• kandouss / marlgrid
  Gridworld for MARL experiments
  ☆141Updated 4 years ago
• cage-challenge / cage-challenge-3
  TTCP CAGE Challenge 3
  ☆36Updated last year
• addy1997 / Gridworld
  OpenAI gym-based algorithm for the grid world problem
  ☆28Updated 4 years ago
• befelix / SafeMDP
  Safe exploration in Markov Decision Processes
  ☆37Updated 7 years ago
• cage-challenge / cage-challenge-2
  TTCP CAGE Challenge 2
  ☆49Updated last year
• act3-ace / SafeRL
  ☆28Updated last year
• keyshor / dirl
  Code for experiments in the paper: "Compositional Reinforcement Learning from Logical Specifications" (https://arxiv.org/abs/2106.13906).
  ☆15Updated 3 years ago
• lerrel / rllab-adv
  Code to train RL agents along with Adversarial distrubance agents
  ☆65Updated 8 years ago
• huanzhang12 / ATLA_robust_RL
  Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework
  ☆67Updated 4 years ago
• 4rChon / NL-FuN
  N-Layered FeUdal Networks based on FeUdal Networks adapted to suit PySC2 observations
  ☆18Updated 5 years ago