Alternatives and similar repositories for Cook2LTL

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

• bdaiinstitute / predicators
  SeSaMe TAMP + Learning integrated with a Spot robot!
  ☆28Updated 2 months ago
• agiachris / STAP
  Official repository for "STAP: Sequencing Task-Agnostic Policies," presented at ICRA 2023.
  ☆51Updated 11 months ago
• rvl-lab-utoronto / drake-tamp
  For TAMP experiments using Drake
  ☆13Updated last year
• labicon / CurricuLLM
  Official code repository for CurricuLLM: Automatic Task Curricula Design for Learning Complex Robot Skills using Large Language Models
  ☆23Updated 3 months ago
• yding25 / GPT-Planner
  Paper: Integrating Action Knowledge and LLMs for Task Planning and Situation Handling in Open Worlds
  ☆36Updated last year
• JiahengHu / CausalMoMa
  Official Implementation of CausalMoMa (RSS2023)
  ☆28Updated 2 years ago
• kiwi-sherbet / PRESTO
  Official codebase for PRESTO (Planning with Environment Representation, Sampling, and Trajectory Optimization)
  ☆42Updated 4 months ago
• Kchu / LABOR-Agent
  Official implementation for the LABOR (LAnguage-model-based Bimanual ORchestration) Agent.
  ☆21Updated last year
• pearl-robot-lab / reachability_map_visualizer
  Visualizer for robot reachability and base placement maps (based on reuleaux)
  ☆17Updated 2 years ago
• quantumiracle / Robotic_Door_Opening_with_Tactile_Simulation
  Official code (simulation part) for paper Sim-to-Real Transfer for Robotic Manipulation with Tactile Sensory Zihan Ding, Ya-Yen Tsai, Wan…
  ☆23Updated 3 years ago
• Learning-and-Intelligent-Systems / proc3s
  Code for the paper "Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction" presented at CoRL 202…
  ☆31Updated last year
• labicon / POLICEd-RL
  Official Code Repository for the POLICEd-RL Paper: https://www.roboticsproceedings.org/rss20/p104.html
  ☆13Updated 10 months ago
• zt-yang / diffusion-ccsp
  Code for Compositional Diffusion-Based Continuous Constraint Solvers (CoRL 23)
  ☆67Updated last year
• UT-Austin-RPL / sirius-fleet
  Sirius-Fleet: Multi-Task Interactive Robot Fleet Learning with Visual World Models
  ☆16Updated 9 months ago
• aidan-curtis / tampura
  Task and Motion Planning with Uncertainty and Risk Awareness
  ☆24Updated 7 months ago
• intelligent-control-lab / APEX-MR
  ☆21Updated 4 months ago
• jyopari / VINN
  ☆50Updated 2 years ago
• rperezdattari / Stable-Motion-Primitives-via-Imitation-and-Contrastive-Learning
  Code accompanying the paper: "Stable Motion Primitives via Imitation and Contrastive Learning" (T-RO).
  ☆30Updated 2 years ago
• arc-l / pmbs
  Parallel Monte Carlo Tree Search with Batched Rigid-body Simulations
  ☆31Updated last year
• omron-sinicx / ViLaIn
  An official implementation of Vision-Language Interpreter (ViLaIn)
  ☆47Updated last year
• caelan / LTAMP
  Learning for Task and Motion Planning (LTAMP)
  ☆60Updated 4 years ago
• pearl-robot-lab / ActPerMoMa
  Active Perceptive Motion Generation for Mobile Manipulation
  ☆42Updated last year
• Learning-and-Intelligent-Systems / open-world-tamp
  A framework for integrated task and motion planning from perception
  ☆28Updated last year
• jdj2261 / pytamp
  Python robot's tamp library
  ☆23Updated last year
• tud-amr / m3p2i-aip
  Code for the IEEE Robotics and Automation Letters paper titled "Multi-Modal MPPI and Active Inference for Reactive Task and Motion Planni…
  ☆78Updated 10 months ago
• penn-pal-lab / interactive_reward_functions
  Code release for "Training Robots to Evaluate Robots" (CoRL'22, Best Paper Award)
  ☆17Updated 2 years ago
• ARISE-Initiative / robosuite_models
  A collection of robot models tailored to robosuite.
  ☆43Updated last year
• idiap / mp-df-ds
  From Movement Primitives to Distance Fields to Dynamical Systems
  ☆20Updated 4 months ago
• jc-bao / CMU16-715-Robot-Dynamics
  Lecture notes for CMU 16715 Advanced Robot Dynamics.
  ☆28Updated last year
• vhartman / multirobot-pathplanning-benchmark
  ☆30Updated last week