Alternatives and similar repositories for temprl

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

• keyshor / spectrl_tool
  Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…
  ☆17Updated 4 years ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆9Updated 3 months ago
• aiplan4eu / up-fast-downward
  Integration of the planning system Fast Downward with the unified-planning framework.
  ☆11Updated 5 months ago
• LTL2Action / LTL2Action
  This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.o…
  ☆33Updated last year
• grockious / lcrl
  Logically-Constrained Reinforcement Learning
  ☆54Updated 11 months ago
• RodrigoToroIcarte / reward_machines
  ☆69Updated last year
• koulanurag / dream-and-search
  Code for "Dream and Search to Control: Latent Space Planning for Continuous Control"
  ☆11Updated 3 years ago
• alperkamil / csrl
  Control Synthesis from Formal Specifications using Reinforcement Learning
  ☆23Updated this week
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆19Updated 9 months ago
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 4 years ago
• keyshor / dirl
  Code for experiments in the paper: "Compositional Reinforcement Learning from Logical Specifications" (https://arxiv.org/abs/2106.13906).
  ☆15Updated 3 years ago
• tomsilver / ploi
  Code for "Planning with Learned Object Importance in Large Problem Instances using Graph Neural Networks" (AAAI 2021)
  ☆16Updated 2 years ago
• ylkuo / ltl-zero-shot
  [IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas
  ☆10Updated 2 years ago
• aig-upf / universal-pddl-parser-multiagent
  The multiagent extension for the PDDL parser
  ☆35Updated 5 years ago
• williamshen-nz / STRIPS-HGN
  Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)
  ☆13Updated 2 months ago
• speckdavid / symk
  Symk is a state-of-the-art classical optimal and top-k planner.
  ☆40Updated 2 months ago
• grockious / deepsynth
  DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
  ☆22Updated 4 years ago
• ronuchit / pddlgym_planners
  PDDL planner interface for PDDLGym.
  ☆31Updated last year
• pyrddlgym-project / pyRDDLGym
  A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.
  ☆84Updated last week
• safe-rl / safe-rl-shielding
  ☆42Updated 2 years ago
• yuchen-x / MacroMARL
  ☆21Updated last year
• marcofavorito / pdfa-learning
  Implementation of PDFAs and PDFA learning algorithm.
  ☆11Updated 4 years ago
• thiagopbueno / rddlgym
  A toolkit for working with RDDL domains in Python3.
  ☆17Updated 4 years ago
• hari-sikchi / LOOP
  Learning Off-Policy with Online Planning [CoRL 2021 Best Paper Finalist]
  ☆39Updated 2 years ago
• IBM / forbiditerative
  ForbidIterative planners for top-k, top-quality, and diverse planning problems
  ☆19Updated last month
• QData / dmc_remastered
  A version of the DeepMind Control Suite with randomly generated graphics, for measuring visual generalization in continuous control.
  ☆18Updated 4 years ago
• dsbrown1331 / bayesianrex
  ☆19Updated 4 years ago
• IretonLiu / mine-pddl
  ☆21Updated 11 months ago
• tseyde / decqn
  ☆36Updated 2 years ago
• luisenp / mdp-lib
  A Library of MDP algorithms for Artificial Intelligence
  ☆18Updated 5 years ago