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

28 Feb 2025

Our work on "Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances" has been accepted for presentation in Learning for Dynamics and Control Conference (L4DC). Read the preprint here!

16 Jan 2025

Our work on "Learning-Based Shielding for Safe Autonomy under Unknown Dynamics" has been accepted for presentation at the IEEE American Control Conference (ACC’25). Read the preprint here!

08 Jan 2025

Our work on "Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression" has been accepted for publication in the IEEE Transactions on Automatic Control (TAC). Read the preprint here!

03 Jan 2025

Our work on "Kino-PAX: Highly Parallel Kinodynamic Sampling-based Planner" has been accepted for publication in the IEEE Robotics and Automation Letters (RA-L). Read the preprint here!

09 Dec 2024

Our work on "Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification" has been accepted for presentation at the The Thirty-Ninth AAAI Conference on Artificial Intelligence (AAAI’25). Read the preprint here!

07 Dec 2024

ARIA will have a presence at CDC’24 in Dec. with 2 papers. Seek us out!

26 Oct 2024

Our work on "Efficient strategy synthesis for switched stochastic systems with distributional uncertainty" has been accepted for publication in the Journal of Nonlinear Analysis: Hybrid Systems (NAHS). Read the preprint here!