Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks

For Stanford AA279D Formation Flying Dynamics and GNC

MATLAB Code for the AA279D project

Spacecraft formation flying and docking simulation & report (Stanford AA279D)

Sequential Convex Programming for 6-DoF Powered Descent Guidance with Continuous-Time Compound State-Triggered Constraints

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 …

RL environments and tools for spacecraft autonomy research, built on Basilisk. Developed by the AVS Lab.

A guidance language for controlling large language models.

SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.

Julia wrapper for the Spot LTL and automata manipulation library

Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning

[arXiv] "Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications"

具身智能入门指南 Embodied-AI-Guide

Amubsh Homepage

Framework to transform natural language into formal language (Temporal Logics).

Natural Language (NL) to Linear Temporal Logic (LTL)

Online Signal Temporal Logic (STL) Monte-Carlo Tree Search for Guided Imitation Learning

Awesome List of Controls, Vision, Planning

Utilities for Numerical Trajectory Optimization

Robust Optimal Autopilot Design for Hypersonic Reentry Thrust Vector Control of Rockets

Model predictive control under STL constraints

Open-source C++ implementation of the recently proposed online active set strategy