autonomy

An open autonomous driving platform

Central repository for tools, tutorials, resources, and documentation for robotics simulation in Unity.

OpenEMMA, a permissively licensed open source "reproduction" of Waymo’s EMMA model.

Generator of runtime monitors for flight and robotics applications.

A framework for the elicitation, specification, formalization and analysis of requirements.

A complete end-to-end demonstration in which we collect training data in Unity and use that data to train a deep neural network to predict the pose of a cube. This model is then deployed in a simulated robotic pick-and-place task.

Object detection / tracking / fusion based on Apollo r3.0.0 perception module in ROS

An Event-Driven, Asynchronous, Behavioral State Machine Library for ROS2 (Robotic Operating System) applications written in C++

Open-source Autonomy Software in Rust-lang using gRPC for the Roomba series robot vacuum cleaners. Under development.

Neural Network Verification Software Tool

an easy-to-use, secure and decentralized conference call application (this repository is a mirror of an internal work repository)

A framework for the creation of autonomous agent services.

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

Command shell driver for LLMs

F-16 Aircraft Dynamics Model from Stevens and Lewis "Aircraft Control and Simulation".

This package provides a CLF-based reactive planning system, described in paper: Efficient Anytime CLF Reactive Planning System for a Bipedal Robot on Undulating Terrain. The reactive planning system consists of a 5-Hz planning thread to guide a robot to a distant goal and a 300-Hz Control-Lyapunov-Function-based (CLF-based) reactive thread to cope with robot deviations. The planning system allowed Cassie Blue to autonomously traverse sinusoidally varying terrain. More experiments are still being conducted and this repo and the paper will be updated accordingly.

An inexpensive, autonomous, regolith-mining robot

Boilerplate for robot autonomy. Designed for multi-robot, real world deployment with TAK.

Record rosbags automatically for events on robot 🤖 👜

Library for modeling, simulation, and verification of interacting autonomous agents