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…
  ☆16Updated 4 years ago
• grockious / lcrl
  Logically-Constrained Reinforcement Learning
  ☆54Updated 9 months ago
• RodrigoToroIcarte / reward_machines
  ☆67Updated last year
• alperkamil / csrl
  Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
  ☆23Updated 3 years ago
• LTL2Action / LTL2Action
  This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.o…
  ☆29Updated 10 months ago
• tomsilver / ploi
  Code for "Planning with Learned Object Importance in Large Problem Instances using Graph Neural Networks" (AAAI 2021)
  ☆16Updated 2 years ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆18Updated 7 months ago
• aiplan4eu / up-fast-downward
  Integration of the planning system Fast Downward with the unified-planning framework.
  ☆11Updated 4 months ago
• ylkuo / ltl-zero-shot
  [IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas
  ☆10Updated 2 years ago
• IBM / forbiditerative
  ForbidIterative planners for top-k, top-quality, and diverse planning problems
  ☆17Updated 7 months ago
• safe-rl / safe-rl-shielding
  ☆41Updated 2 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
• info-structures / ais
  This repository contains the code for RL for POMDPs through learning an Approximate Information State.
  ☆20Updated 3 years ago
• tseyde / decqn
  ☆36Updated 2 years ago
• RU-Automated-Reasoning-Group / GCRL-LTL
  NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
  ☆21Updated last year
• IBM / kstar
  K* search based implementation of top-k and top-quality planners
  ☆16Updated 6 months ago
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 4 years ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆10Updated 2 months ago
• 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
• prost-planner / prost
  probabilistic planning system for tasks encoded in RDDL
  ☆43Updated 2 years ago
• koulanurag / dream-and-search
  Code for "Dream and Search to Control: Latent Space Planning for Continuous Control"
  ☆11Updated 3 years ago
• QuMuLab / planner-for-relevant-policies
  ☆30Updated last year
• aig-upf / universal-pddl-parser-multiagent
  The multiagent extension for the PDDL parser
  ☆34Updated 5 years ago
• dsbrown1331 / bayesianrex
  ☆19Updated 4 years ago
• luisenp / mdp-lib
  A Library of MDP algorithms for Artificial Intelligence
  ☆18Updated 5 years ago
• speckdavid / symk
  Symk is a state-of-the-art classical optimal and top-k planner.
  ☆40Updated last month
• liuzuxin / safe-mbrl
  Safe Model-based Reinforcement Learning with Robust Cross-Entropy Method
  ☆66Updated 2 years ago
• hari-sikchi / LOOP
  Learning Off-Policy with Online Planning [CoRL 2021 Best Paper Finalist]
  ☆37Updated 2 years ago
• ronuchit / pddlgym_planners
  PDDL planner interface for PDDLGym.
  ☆31Updated last year
• grockious / deepsynth
  DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
  ☆22Updated 4 years ago