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

03 Feb 2024

ARIA Systems Group will have a strong presence with Peter, Kandai, and Morteza at the NSF’s Center for Autonomous Air Mobility and Sensing (CAAMS) meeting (Feb. 6-7). Find us at the poster sessions!

31 Jan 2024

Our work on "Stochastic Games for Interactive Manipulation Domains; has been accepted for presentation in IEEE Conference on Robotics and Automation (ICRA).

31 Jan 2024

Our work on "Optimal Planning for Timed Partial Order Specifications; has been accepted for presentation in IEEE Conference on Robotics and Automation (ICRA).

30 Jan 2024

Our work on "Temporal Segmentation in Multi-Agent Path Finding with Applications to Explainability" has been accepted for publication in Artificial Intelligence.

28 Jan 2024

Our work on "Shielded Deep Reinforcement Learning for Complex Spacecraft Specifications; has been accepted for presentation in American Control Conference (ACC).

02 Dec 2023

Our work on "Promises of Deep Kernel Learning for Control Synthesis; has been accepted for publication in the IEEE Control Systems Letters (L-CSS). Read the preprint here!

02 Dec 2023

Our work on "Formal Abstraction of General Stochastic Systems via Noise Partitioning; has been accepted for publication in the IEEE Control Systems Letters (L-CSS). Read the preprint here!