research
∙
02/17/2023
Safe Networked Robotics via Formal Verification
Autonomous robots must utilize rich sensory data to make safe control de...
research
∙
09/22/2022
Robust Forecasting for Robotic Control: A Game-Theoretic Approach
Modern robots require accurate forecasts to make optimal decisions in th...
research
∙
04/13/2022