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…
  ☆33Updated last year
• SafeRoboticsLab / safety_rl
  ☆24Updated 3 years ago
• PatrickTrentin88 / gltl2ba
  This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.
  ☆23Updated 7 years ago
• keyshor / spectrl_tool
  Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…
  ☆17Updated 4 years ago
• czlwang / grounded_LTL_parser
  [CoRL 2020] Learning a natural-language to LTL executable semantic parser for grounded robotics
  ☆16Updated 3 years ago
• StanfordASL / stlcg
  ☆72Updated last year
• RU-Automated-Reasoning-Group / GCRL-LTL
  NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
  ☆22Updated last year
• alperkamil / csrl
  Control Synthesis from Formal Specifications using Reinforcement Learning
  ☆24Updated 2 weeks ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆73Updated last year
• Learning-and-Intelligent-Systems / predicators
  Learning for effective and efficient bilevel planning
  ☆121Updated last week
• intelligent-control-lab / guard
  ☆53Updated 7 months ago
• chauncygu / Safe-Multi-Agent-Isaac-Gym
  Safe Multi-Agent Isaac Gym benchmark for safe multi-agent reinforcement learning research.
  ☆62Updated 7 months ago
• RodrigoToroIcarte / reward_machines
  ☆70Updated last year
• aig-upf / universal-pddl-parser-multiagent
  The multiagent extension for the PDDL parser
  ☆36Updated 6 years ago
• RickyMexx / DeepRL-LTL
  Deep Reinforcement Learning with LTL goals.
  ☆11Updated 5 years ago
• ZikangXiong / MFNLC
  [IROS 22'] Model-free Neural Lyapunov Control
  ☆23Updated 2 years ago
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆14Updated 2 years ago
• ut-amrl / SocialGym2
  SocialGym 2: A lightweight benchmark and simulator for multi-robot social navigation using ROS and the OpenAI gym.
  ☆60Updated last year
• 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…
  ☆71Updated 2 years ago
• nphamilton / stl-gym
  A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function…
  ☆11Updated 2 years ago
• MIT-REALM / macbf
  Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
  ☆75Updated 2 years ago
• akshitj1 / uav-mujoco
  Quadcopter control with RL
  ☆14Updated 3 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
• SafeRL-Lab / Robust-Gymnasium
  [ICLR 2025] Robust Gymnasium: A Unified Modular Benchmark for Robust Reinforcement Learning.
  ☆63Updated 2 weeks ago
• tdmpc2 / tdmpc2-eval
  Evaluation of TD-MPC2.
  ☆22Updated last year
• grockious / lcrl
  Logically-Constrained Reinforcement Learning
  ☆55Updated last year
• TUMcps / human-robot-gym
  ☆29Updated this week
• mengyuest / stl_npc
  [RA-L/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.
  ☆13Updated last year
• liuzuxin / safe-mbrl
  Safe Model-based Reinforcement Learning with Robust Cross-Entropy Method
  ☆66Updated 2 years ago
• anand-bala / signal-temporal-logic
  A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
  ☆39Updated last year