ARIA Systems group develops novel theoretical foundations and computational frameworks to enable reliable and intelligent autonomy. The main theme of our work is safety and soundness, and the emphasis is on safe autonomy through correct-by-construction algorithmic approaches. Our research within the Department of Aerospace Engineering Sciences at the University of Colorado Boulder builds on knowledge developed in control theory, formal methods, statistical reasoning, machine learning & AI to address real-world challenges in robotics and safety-critical systems.

Group News

25 Aug 2025

Our research on safe and efficient decision making for robots around humans has been featured in CU News. Read the article here

15 Jul 2025

Our work on "Beyond winning strategies: Admissible and admissible winning strategies for quantitative reachability games" has been accepted for presentation the Int. Joint Conference on AI (IJCAI) 2025. Read the preprint here

17 Jul 2025

Anne Theurkauf successfully defended her PhD dissertation. Congrats Anne!

15 Jul 2025

Our work on "Bayesian Diagnosability and Active Fault Identification" has been accepted for presentation at IEEE Conference on Decision and Control (CDC) 2025. Read the preprint here

15 Jul 2025

Our work on "On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares" has been accepted for presentation at IEEE Conference on Decision and Control (CDC) 2025. Read the preprint here

15 Jul 2025

Our work on "Piecewise Control Barrier Functions for Safe Control of Stochastic Systems" has been accepted for presentation at IEEE Conference on Decision and Control (CDC) 2025.

10 Jul 2025

Robert Reed presented his paper on ‘data-driven shielding’ at the American Control Conference (ACC) 2025. Read the preprint here!