research
∙
07/18/2023
Online Self-Supervised Thermal Water Segmentation for Aerial Vehicles
We present a new method to adapt an RGB-trained water segmentation netwo...
share
research
∙
07/12/2023
Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication
We advance the Cohn-Umans framework for developing fast matrix multiplic...
research
∙
12/30/2022
Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles
Cohn and Umans proposed a framework for developing fast matrix multiplic...
research
∙
04/20/2021
Neural Tree Expansion for Multi-Robot Planning in Non-Cooperative Environments
We present a self-improving, neural tree expansion method for multi-robo...
research
∙
03/21/2021
NeBula: Quest for Robotic Autonomy in Challenging Environments; TEAM CoSTAR at the DARPA Subterranean Challenge
This paper presents and discusses algorithms, hardware, and software arc...
research
∙
08/25/2020
Automated Trajectory Synthesis for UAV Swarms Based on Resilient Data Collection Objectives
The use of Unmanned Aerial Vehicles (UAVs) for collecting data from remo...
research
∙
11/22/2019
Design and Autonomous Stabilization of a Ballistically Launched Multirotor
Aircraft that can launch ballistically and then convert to autonomous, f...
research
∙
11/03/2019
Trajectory Synthesis for a UAV Swarm to Perform Resilient Requirement-Aware Surveillance: A Smart Grid-based Study
A smart grid is a widely distributed engineering system with overhead tr...
research
∙
03/29/2013