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…
  ☆30Updated 11 months ago
• alperkamil / csrl
  Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
  ☆23Updated 3 years ago
• RU-Automated-Reasoning-Group / GCRL-LTL
  NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
  ☆21Updated last year
• keyshor / spectrl_tool
  Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…
  ☆17Updated 4 years ago
• ronuchit / LOFT_IROS_2021
  ☆19Updated last year
• SafeRoboticsLab / safety_rl
  ☆24Updated 3 years ago
• agiachris / STAP
  Official repository for "STAP: Sequencing Task-Agnostic Policies," presented at ICRA 2023.
  ☆42Updated 3 months ago
• RickyMexx / DeepRL-LTL
  Deep Reinforcement Learning with LTL goals.
  ☆9Updated 4 years ago
• PatrickTrentin88 / gltl2ba
  This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.
  ☆21Updated 7 years ago
• unstable-zeros / learning-cbfs
  Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…
  ☆64Updated last year
• ZikangXiong / mobrob
  Mobile Robot Control via Goal-Conditioned Reinforcement Learning
  ☆18Updated last year
• rvl-lab-utoronto / drake-tamp
  For TAMP experiments using Drake
  ☆13Updated 11 months ago
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆13Updated last year
• ZikangXiong / MFNLC
  [IROS 22'] Model-free Neural Lyapunov Control
  ☆23Updated 2 years ago
• bdaiinstitute / predicators
  SeSaMe TAMP + Learning integrated with a Spot robot!
  ☆27Updated this week
• intelligent-control-lab / guard
  ☆49Updated 3 months ago
• MIT-REALM / dgppo
  Official Implementation of ICLR2025 Paper: Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan: "Discrete GCBF Proximal Policy Optimizat…
  ☆14Updated last week
• vincekurtz / stlpy
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆41Updated 2 years ago
• chauncygu / Safe-Multi-Agent-Isaac-Gym
  Safe Multi-Agent Isaac Gym benchmark for safe multi-agent reinforcement learning research.
  ☆60Updated 3 months ago
• SafeRL-Lab / Robust-Gymnasium
  [ICLR 2025] Robust Gymnasium: A Unified Modular Benchmark for Robust Reinforcement Learning.
  ☆45Updated last month
• krishanrana / bcf
  [NeurIPS 2021 DDM Workshop] A hybrid control strategy for combining deep RL and classical robotic controllers
  ☆36Updated 2 years ago
• vincekurtz / ltl_gcs
  Linear Temporal Logic Motion Planning with Graphs of Convex Sets
  ☆45Updated last year
• ylkuo / ltl-zero-shot
  [IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas
  ☆10Updated 2 years ago
• elliotchanesane31 / RIS
  ☆53Updated 3 years ago
• mihdalal / raps
  [NeurIPS 2021] PyTorch Code for Accelerating Robotic Reinforcement Learning with Parameterized Action Primitives
  ☆77Updated 2 years ago
• czlwang / grounded_LTL_parser
  [CoRL 2020] Learning a natural-language to LTL executable semantic parser for grounded robotics
  ☆17Updated 2 years ago
• SafeRL-Lab / LLM-RL-Robotics-Papers
  Large Language Models and Robotics.
  ☆19Updated last year
• DarthUtopian / tdmpc_square_public
  Official repo for paper "TD-M(PC)^2: Improving Temporal Difference MPC Through Policy Constraint"
  ☆52Updated 2 months ago
• HJReachability / safety_rl
  ☆26Updated 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