research
∙
03/21/2023
Provably Correct Sensor-driven Path-following for Unicycles using Monotonic Score Functions
This paper develops a provably stable sensor-driven controller for path-...
share
research
∙
01/04/2023
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
Controllers for dynamical systems that operate in safety-critical settin...
research
∙
10/25/2021
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
Controllers for autonomous systems that operate in safety-critical setti...
research
∙
03/03/2021
