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 5 years ago
• koulanurag / dream-and-search
  Code for "Dream and Search to Control: Latent Space Planning for Continuous Control"
  ☆12Updated 4 years ago
• tomsilver / ploi
  Code for "Planning with Learned Object Importance in Large Problem Instances using Graph Neural Networks" (AAAI 2021)
  ☆17Updated 2 years ago
• aiplan4eu / up-fast-downward
  Integration of the planning system Fast Downward with the unified-planning framework.
  ☆13Updated 5 months ago
• RodrigoToroIcarte / reward_machines
  ☆75Updated last year
• prost-planner / prost
  probabilistic planning system for tasks encoded in RDDL
  ☆46Updated 7 months ago
• liuzuxin / safe-mbrl
  Safe Model-based Reinforcement Learning with Robust Cross-Entropy Method
  ☆66Updated 2 years ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆19Updated last year
• alperkamil / csrl
  Control Synthesis from Formal Specifications using Reinforcement Learning
  ☆24Updated 4 months ago
• safe-rl / safe-rl-shielding
  ☆46Updated 3 years ago
• grockious / lcrl
  Logically-Constrained Reinforcement Learning
  ☆55Updated last year
• keyshor / dirl
  Code for experiments in the paper: "Compositional Reinforcement Learning from Logical Specifications" (https://arxiv.org/abs/2106.13906).
  ☆16Updated 4 years ago
• hari-sikchi / LOOP
  Learning Off-Policy with Online Planning [CoRL 2021 Best Paper Finalist]
  ☆41Updated 3 years ago
• aig-upf / universal-pddl-parser-multiagent
  The multiagent extension for the PDDL parser
  ☆36Updated 6 years ago
• pyrddlgym-project / pyRDDLGym
  A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.
  ☆88Updated 2 months ago
• ronuchit / pddlgym_planners
  PDDL planner interface for PDDLGym.
  ☆34Updated 5 months ago
• aibasel / pyperplan
  A lightweight STRIPS planner written in Python.
  ☆119Updated last year
• info-structures / ais
  This repository contains the code for RL for POMDPs through learning an Approximate Information State.
  ☆21Updated last month
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆78Updated last year
• williamshen-nz / STRIPS-HGN
  Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)
  ☆14Updated 9 months ago
• ssanner / rddlsim
  Automatically exported from code.google.com/p/rddlsim
  ☆55Updated last year
• QData / dmc_remastered
  A version of the DeepMind Control Suite with randomly generated graphics, for measuring visual generalization in continuous control.
  ☆20Updated 5 years ago
• aibasel / lab
  Lab is a framework for evaluating planners and other solvers.
  ☆34Updated 3 weeks ago
• QuMuLab / planner-for-relevant-policies
  ☆32Updated last year
• luisenp / mdp-lib
  A Library of MDP algorithms for Artificial Intelligence
  ☆18Updated 6 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…
  ☆35Updated 2 months ago
• tomasgeffner / FOND-SAT
  FOND solver based on SAT
  ☆14Updated 3 years ago
• aig-upf / temporal-planning
  Algorithms for solving temporal planning problems
  ☆28Updated 2 years ago
• natolambert / continuousprediction
  Formulating Model-based RL Dynamics as a continuous rather then one step prediction
  ☆36Updated 3 years ago
• panda-planner-dev / ipc2020-domains
  ☆23Updated last year