Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps

ROS 2 Navigation Framework and System

Neural Networks: Zero to Hero

Pytorch🍊🍉 is delicious, just eat it! 😋😋

Official Implementation of FLARE (AAAI'25)

A Foundational Vision-Language-Action Model for Synergizing Cognition and Action in Robotic Manipulation

[IEEE RA-L 2024]: Graph-based SLAM-Aware Exploration with Prior Topo-Metric Information.

Specification-based real-time monitoring library

A python library for control from Signal Temporal Logic (STL) specifications

A generative world for general-purpose robotics & embodied AI learning.

我的超迷你机械臂机器人项目。

Package for Tracer mobile base

Machine learning, in numpy

This repo contains code for generating the min path series of safe flight corridors

Simple 2D implement of "Planning Dynamically Feasible Trajectories for Quadrotors Using Safe Flight Corridors in 3-D Complex Environments"

[RA-L2023/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.

This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.

A list of open-source, affordable, less-known, or visionary robotics projects.

A modular high-level library to train embodied AI agents across a variety of tasks and environments.

Linear Temporal Logic Motion Planning with Graphs of Convex Sets

Source code for paper "Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications"

强化学习中文教程（蘑菇书🍄），在线阅读地址：https://datawhalechina.github.io/easy-rl/

Awesome Embodied Navigation: Concept, Paradigm and State-of-the-arts

SMC-LTL: SMC-Based LTL MultiRobot Motion Planner

From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)

Official code release for ConceptGraphs

LLM&VLM Tutorial

This the the repo containing all stages of the drone competition, including circle crossing, auto flight and FPV racing.