For our ICRA 2025 paper ๐ "SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models" by Yi Wu, Zikang Xiong, Yiran Hu, Shreyash Iyengar, Nan Jiang, Aniket Bera, Lin Tan, and Suresh Jagannathan. (๐ Best Paper Award Finalist!)
โ24May 17, 2026Updated 4 months ago
Alternatives and similar repositories for selp
Users that are interested in selp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- For ACL25 paper "WAFFLE: Multi-Modal Model for Automated Front-End Development" - by Shanchao Liang and Nan Jiang and Shangshu Qian and Lโฆโ12May 28, 2025Updated last year
- โ13Aug 19, 2025Updated last year
- DEXTER-LLM: Dynamic and Explainable Coordination of Multi-Robot Systems in Unknown Environments via Large Language Modelsโ19Jun 18, 2026Updated 3 months ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qiaโฆโ13Aug 16, 2023Updated 3 years ago
- Julia wrapper for the Spot LTL and automata manipulation libraryโ21Jan 20, 2026Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Open source simulator for autonomous vehicles built on Unreal Engine based on AirSim, new vehicle URDF Robot and FixedWing supportedโ15Mar 31, 2025Updated last year
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Kiโฆโ39Jul 19, 2022Updated 4 years ago
- โ16Oct 15, 2025Updated 11 months ago
- The official implementation of DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL (ICLR'25 Oral)โ18Mar 30, 2025Updated last year
- Python Jupyter Notebooks for robotics algorithmโ10Jun 5, 2022Updated 4 years ago
- Monte Carlo Planning with Large Language Model for Text-Based Game Agentsโ13Mar 2, 2025Updated last year
- Repository for ICRA'24 Paper "Optimal Scene Graph Planning with Large Language Model Guidance"โ38Jan 30, 2026Updated 8 months ago
- Generate Gibson task dataset for objectnavโ17Aug 27, 2020Updated 6 years ago
- UAV Search And Rescue in Airsim Simulation with Yolov5 Modelsโ14Oct 12, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits โข AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Utilizing code clone detection to generate comments automatically.โ17Aug 26, 2019Updated 7 years ago
- Framework to transform natural language into formal language (Temporal Logics).โ43Apr 2, 2024Updated 2 years ago
- A general-purpose robotic agent framework based on LLMs. The LLM can independently reason, plan, and execute actions to operate diverse rโฆโ25Dec 14, 2025Updated 9 months ago
- IMU้ข็งฏๅ็ธๅ ณๅ ๅฎนโ11Dec 9, 2024Updated last year
- โ๏ธ Drones controlled by natural languageโ10Aug 18, 2023Updated 3 years ago
- For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says โNot Yetโ - by Shanchao Liang and Yiran Hu and Nan Jiang and Lโฆโ28Aug 27, 2025Updated last year
- Official repository of "Embracing Dynamics: Dynamics-aware 4D Gaussian Splatting SLAM" (IROS 2025).โ16May 13, 2026Updated 4 months ago
- An empirical study on patch correctnessโ15Nov 5, 2022Updated 3 years ago
- This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.oโฆโ40Oct 23, 2025Updated 11 months ago
- Deploy on Railway without the complexity - Free Credits Offer โข AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Finite-state machine behavioural planner for autonomous vehicle.โ13Oct 13, 2020Updated 5 years ago
- Launch two rosbot robots in ROS2 for cooperative mapping and navigationโ10Mar 3, 2022Updated 4 years ago
- initโ13May 25, 2025Updated last year
- Forked robosuite for LASER projectโ13Jan 8, 2021Updated 5 years ago
- An extension for Event-Driven Behavior Trees to facilitate NPC coordination in Unityโ17May 16, 2026Updated 4 months ago
- โ13Feb 5, 2025Updated last year
- A docker container with PX4, ROS2, MavROS, and Gazebo harmonic.โ14Sep 5, 2024Updated 2 years ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solvingโ11Mar 12, 2015Updated 11 years ago
- Specification and Analysis for Requirements Toolโ10Mar 31, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform โข AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- โ10May 22, 2023Updated 3 years ago
- This is a Behavior Tree library meant to be an alternative to SMACH, FlexBE and the like. It includes a ReactJS-based web GUI and all theโฆโ37Oct 17, 2023Updated 2 years ago
- Dynamic Object Removing SLAM using YOLOv8-seg based on ORB-SLAM3โ14Apr 26, 2024Updated 2 years ago
- โ15Apr 26, 2021Updated 5 years ago
- Multi-Agent Search and Rescue Robot in ROSโ14Jul 31, 2022Updated 4 years ago
- Code for ICRA2024 Paper: Dynamic Coalition Formation and Routing for Multirobot Task Allocation via Reinforcement Learning.โ44Mar 5, 2024Updated 2 years ago
- Contingency planning for on-road autonomous drivingโ20Jan 24, 2026Updated 8 months ago