whitemech / temprl

Related projects ⓘ

Alternatives and complementary repositories for temprl

• keyshor / spectrl_tool
  Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…
  ☆16Updated 3 years ago
• RodrigoToroIcarte / reward_machines
  ☆62Updated 9 months ago
• grockious / lcrl
  Logically-Constrained Reinforcement Learning
  ☆53Updated 4 months ago
• tomsilver / ploi
  Code for "Planning with Learned Object Importance in Large Problem Instances using Graph Neural Networks" (AAAI 2021)
  ☆15Updated last year
• speckdavid / symk
  Symk is a state-of-the-art classical optimal and top-k planner.
  ☆33Updated 2 weeks ago
• ylkuo / ltl-zero-shot
  [IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas
  ☆11Updated last year
• alperkamil / csrl
  Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
  ☆23Updated 3 years ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆65Updated 8 months ago
• safe-rl / safe-rl-shielding
  ☆39Updated last year
• LTL2Action / LTL2Action
  This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.o…
  ☆28Updated 5 months ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆16Updated 2 months ago
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆21Updated 4 years ago
• ronuchit / pddlgym_planners
  PDDL planner interface for PDDLGym.
  ☆27Updated 9 months 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
• liuzuxin / safe-mbrl
  Safe Model-based Reinforcement Learning with Robust Cross-Entropy Method
  ☆62Updated last year
• yuchen-x / MacroMARL
  ☆21Updated 7 months ago
• QuMuLab / planner-for-relevant-policies
  ☆28Updated 8 months ago
• aig-upf / universal-pddl-parser-multiagent
  The multiagent extension for the PDDL parser
  ☆33Updated 5 years ago
• koulanurag / dream-and-search
  Code for "Dream and Search to Control: Latent Space Planning for Continuous Control"
  ☆10Updated 3 years ago
• IBM / forbiditerative
  ForbidIterative planners for top-k, top-quality, and diverse planning problems
  ☆16Updated 2 months ago
• yardenas / la-mbda
  LAMBDA is a model-based reinforcement learning agent that uses Bayesian world models for safe policy optimization
  ☆32Updated last year
• AlgTUDelft / AlwaysSafe
  Code for the paper "AlwaysSafe: Reinforcement Learning Without Safety Constraint Violations During Training"
  ☆18Updated 2 years ago
• ZikangXiong / MFNLC
  [IROS 22'] Model-free Neural Lyapunov Control
  ☆20Updated last year
• aig-upf / universal-pddl-parser
  An algorithm for parsing any planning problem in PDDL format
  ☆19Updated last year
• natolambert / continuousprediction
  Formulating Model-based RL Dynamics as a continuous rather then one step prediction
  ☆35Updated 2 years ago
• pyrddlgym-project / pyRDDLGym
  A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.
  ☆68Updated this week
• thiagopbueno / rddlgym
  A toolkit for working with RDDL domains in Python3.
  ☆17Updated 4 years ago
• marcofavorito / pdfa-learning
  Implementation of PDFAs and PDFA learning algorithm.
  ☆11Updated 3 years ago
• prost-planner / prost
  probabilistic planning system for tasks encoded in RDDL
  ☆41Updated 2 years ago
• info-structures / ais
  This repository contains the code for RL for POMDPs through learning an Approximate Information State.
  ☆19Updated 3 years ago