Alternatives and similar repositories for Efficient-Eng-2-LTL

Users that are interested in Efficient-Eng-2-LTL are comparing it to the libraries listed below

• 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
• Learning-and-Intelligent-Systems / predicators
  Learning for effective and efficient bilevel planning
  ☆134Updated 3 months ago
• RU-Automated-Reasoning-Group / GCRL-LTL
  NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
  ☆23Updated 2 years ago
• yongchao98 / NL2TL
  Framework to transform natural language into formal language (Temporal Logics).
  ☆40Updated last year
• SafeRoboticsLab / safety_rl
  ☆24Updated 3 years ago
• chauncygu / Safe-Multi-Agent-Isaac-Gym
  Safe Multi-Agent Isaac Gym benchmark for safe multi-agent reinforcement learning research.
  ☆64Updated 11 months ago
• PatrickTrentin88 / gltl2ba
  This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.
  ☆25Updated 8 years ago
• alperkamil / csrl
  Control Synthesis from Formal Specifications using Reinforcement Learning
  ☆24Updated 4 months ago
• keyshor / spectrl_tool
  Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…
  ☆17Updated 5 years ago
• RickyMexx / DeepRL-LTL
  Deep Reinforcement Learning with LTL goals.
  ☆10Updated 5 years ago
• intelligent-control-lab / guard
  ☆58Updated 11 months ago
• ZikangXiong / MFNLC
  [IROS 22'] Model-free Neural Lyapunov Control
  ☆27Updated 2 years ago
• czlwang / grounded_LTL_parser
  [CoRL 2020] Learning a natural-language to LTL executable semantic parser for grounded robotics
  ☆16Updated 3 years ago
• agiachris / STAP
  Official repository for "STAP: Sequencing Task-Agnostic Policies," presented at ICRA 2023.
  ☆51Updated 11 months ago
• keyshor / dirl
  Code for experiments in the paper: "Compositional Reinforcement Learning from Logical Specifications" (https://arxiv.org/abs/2106.13906).
  ☆16Updated 4 years ago
• aig-upf / universal-pddl-parser-multiagent
  The multiagent extension for the PDDL parser
  ☆36Updated 6 years ago
• SafeRL-Lab / Robust-Gymnasium
  [ICLR 2025] Robust Gymnasium: A Unified Modular Benchmark for Robust Reinforcement Learning.
  ☆78Updated 4 months ago
• RodrigoToroIcarte / reward_machines
  ☆75Updated last year
• mihdalal / raps
  [NeurIPS 2021] PyTorch Code for Accelerating Robotic Reinforcement Learning with Parameterized Action Primitives
  ☆79Updated 3 years ago
• chauncygu / Safe-Multi-Agent-Robosuite
  Safe Multi-Agent Robosuite benchmark for safe multi-agent reinforcement learning research.
  ☆26Updated last year
• StanfordASL / stlcg
  ☆76Updated last year
• ChengshuLi / HRL4IN
  Code for CoRL 2019 paper: HRL4IN: Hierarchical Reinforcement Learning for Interactive Navigation with Mobile Manipulators
  ☆71Updated 4 years ago
• nphamilton / stl-gym
  A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function…
  ☆12Updated 2 years ago
• yongchao98 / AutoTAMP
  Enhancing LLM/VLM capability for robot task and motion planning with extra algorithm based tools.
  ☆74Updated last year
• TUMcps / human-robot-gym
  ☆33Updated 4 months ago
• ZikangXiong / mobrob
  Mobile Robot Control via Goal-Conditioned Reinforcement Learning
  ☆24Updated 2 years ago
• tdmpc2 / tdmpc2-eval
  Evaluation of TD-MPC2.
  ☆21Updated last year
• ronuchit / LOFT_IROS_2021
  ☆19Updated 2 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
• angmavrogiannis / Cook2LTL
  Code for the ICRA 2024 Cook2LTL paper on translating free-form cooking recipes to Linear Temporal Logic (LTL) formulae for robot task pla…
  ☆18Updated last year