Alternatives and similar repositories for NL2TL:

Users that are interested in NL2TL are comparing it to the libraries listed below

• UM-ARM-Lab / Efficient-Eng-2-LTL
  The associated repo for paper "Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specificat…
  ☆24Updated 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 9 months ago
• yongchao98 / multi-agent-framework
  LLM multi-agent discussion framework for multi-agent/robot situations.
  ☆29Updated 5 months ago
• intelligent-control-lab / guard
  ☆46Updated last month
• keyshor / spectrl_tool
  Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…
  ☆16Updated 4 years ago
• alperkamil / csrl
  Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
  ☆23Updated 3 years ago
• SafeRL-Lab / Robust-Gymnasium
  🔥 Robust Gymnasium: A Unified Modular Benchmark for Robust Reinforcement Learning.
  ☆25Updated 2 weeks ago
• tomsilver / llm-genplan
  ☆55Updated last year
• MandiZhao / robot-collab
  Codebase for paper: RoCo: Dialectic Multi-Robot Collaboration with Large Language Models
  ☆180Updated last year
• minecraft-saar / autoplanbench
  ☆10Updated last month
• yongchao98 / AutoTAMP
  Enhancing LLM/VLM capability for robot task and motion planning with extra algorithm based tools.
  ☆58Updated 5 months ago
• grockious / lcrl
  Logically-Constrained Reinforcement Learning
  ☆53Updated 7 months ago
• pyrddlgym-project / pyRDDLGym
  A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.
  ☆76Updated last week
• RU-Automated-Reasoning-Group / GCRL-LTL
  NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
  ☆20Updated last year
• nphamilton / stl-gym
  A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function…
  ☆9Updated 2 years ago
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆68Updated 5 months ago
• ZikangXiong / MFNLC
  [IROS 22'] Model-free Neural Lyapunov Control
  ☆22Updated last year
• chauncygu / Safe-Multi-Agent-Isaac-Gym
  Safe Multi-Agent Isaac Gym benchmark for safe multi-agent reinforcement learning research.
  ☆58Updated last month
• google-deepmind / language_to_reward_2023
  ☆127Updated 6 months ago
• StanfordASL / stlcg
  ☆64Updated last year
• mengyuest / pSTL-diffusion-policy
  [RA-L2024/ICRA2025] Official implementation for paper "Diverse Controllable Diffusion Policy with Signal Temporal Logic."
  ☆16Updated 4 months ago
• Liang-ZX / AdaptDiffuser
  [ICML'2023] "AdaptDiffuser: Diffusion Models as Adaptive Self-evolving Planners"
  ☆56Updated last year
• ut-amrl / SocialGym2
  SocialGym 2: A lightweight benchmark and simulator for multi-robot social navigation using ROS and the OpenAI gym.
  ☆56Updated 10 months ago
• StanfordVL / mini_behavior
  MiniGrid Implementation of BEHAVIOR Tasks
  ☆39Updated 6 months ago
• GuanSuns / LLMs-World-Models-for-Planning
  The source code of the paper "Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Pla…
  ☆84Updated 6 months ago
• abalakrishna123 / recovery-rl
  Implementation of Recovery RL: Safe Reinforcement Learning With Learned Recovery Zones.
  ☆55Updated last year
• anand-bala / signal-temporal-logic
  A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
  ☆38Updated last year
• vincekurtz / stlpy
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆39Updated 2 years ago
• nolanwagener / safe_rl
  Implementations of SAILR, PDO, and CSC
  ☆32Updated 7 months ago
• PKU-Alignment / SafeDreamer
  ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models
  ☆57Updated 10 months ago