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

17 Mar 2023

Dr. Lahijanian is invited to give a talk to The Committee on the History and Philosophy of Science (CHPS) at the University of Colorado.

03 Feb 2023

Our work on "Timed Partial Order Inference Algorithm" has been accepted for presentation at AAAI Int’l Conference on Automated Planning and Scheduling (ICAPS) 2023.

21 Jan 2023

Our work on "Interval Markov Decision Processes with Continuous Action-Spaces" has been accepted for presentation at ACM Int’l Conference on Hybrid Systems: Computation and Control (HSCC) 2023. Read the preprint here!

16 Jan 2023

Our work on "Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic" has been accepted for presentation at IEEE Int’l Conf. on Robotics and Automation (ICRA) 2023. Read the preprint here!

16 Jan 2023

Our work on "Chance-Constrained Motion Planning with Event-Triggered Estimation" has been accepted for presentation at IEEE Int’l Conf. on Robotics and Automation (ICRA) 2023. Read the preprint here!

16 Jan 2023

Our work on "Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides" has been accepted for presentation at IEEE Int’l Conf. on Robotics and Automation (ICRA) 2023. Read the preprint here!

15 Jan 2023

Ibón Gracia, welcome to the ARIA Systems Group! We are excited to have you in the team!

04 Nov 2023

Roland Ilyes successfully defended his thesis. Congratulations Roland!

15 Sep 2022

Our work on "Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions" has been accepted for presentation at Conference on Neural Information Processing Systems (NeurIPS) 2022. Read the preprint here!

15 Sep 2022

Our work on "An Algorithm for Learning Switched Linear Dynamics from Data" has been accepted for presentation at Conference on Neural Information Processing Systems (NeurIPS) 2022.

15 Jul 2022

Our work on "Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications" has been accepted for presentation at IEEE Conference on Decision and Control (CDC) 2022. Read the preprint here!

15 Jul 2022

Our work on "Pareto Optimal Strategies for Event Triggered Estimation" has been accepted for presentation at IEEE Conference on Decision and Control (CDC) 2022. Read the preprint here!

30 Jun 2022

Our work on "Conflict-based Search for Multi-Robot Motion Planning with Kinodynamic Constraints" has been accepted for presentation at IEEE Int’l Conf. on Intelligent Robots and Systems (IROS) 2022. Read the preprint here!

15 May 2022

Our work on "Formal Control Synthesis for Stochastic Neural Network Dynamic Models" has been accepted for publication in IEEE Control Systems Letters 2022. Read the preprint here!

25 Feb 2022

Our work on "Explainable Multi-Agent Path Finding Imaging" has been accepted for presentation at Int’l Conf. on Automated Planning and Scheduling (ICAPS) 2022. Read the preprint here!

31 Jan 2022

Our work on "Shielded Deep Reinforcement Learning for Multi-Sensor Spacecraft Imaging" has been accepted for presentation at American Control Conference (ACC) 2022. Read the preprint here!

31 Jan 2022

Our work on "Let’s Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation" has been accepted for presentation at IEEE Int’l Conf. on Robotics and Automation (ICRA) 2022. Read the preprint here!

31 Jan 2022

Our work on "Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning" has been accepted for presentation at IEEE Int’l Conference on Robotics and Automation (ICRA) 2022. Read the preprint here!

17 Sep 2021

Our work on "Online Mapping and Motion Planning under Uncertainty for Safe Navigation in Unknown Environments" has been accepted for publication in IEEE Transactions on Automation Science and Engineering (T-ASE) 2021. Well done, Eric!

23 Aug 2021

Robert Reed, welcome to the ARIA Systems Group! We are excited to have you in the team!

27 Jul 2021

Our work on "Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression" has been accepted for presentation at IEEE Conference on Decision and Control (CDC) 2021. Read the preprint here!

30 Jun 2021

Our work on "Probabilistic Specification Learning for Planning with Safety Constraints" has been accepted for presentation at IEEE Int’l Conference on Intelligent Robots and Systems (IROS) 2021.

31 Mar 2021

Karan Muvvala successfully defended his thesis. Congratulations Karan!

28 Feb 2021

Our work on "Synthesis for Probabilistic Manipulation Domains" has been accepted for presentation at IEEE Int’l Conference on Robotics and Automation (ICRA) 2021.

28 Feb 2021

Our work on "Explainable Multi-agent Motion Planning" has been accepted for presentation at IEEE Int’l Conference on Robotics and Automation (ICRA) 2021.

23 Dec 2020

Our work on "Strategy synthesis for Unknown Dynamical Systems" has been accepted for presentation at ACM Conference on Hybrid Systems: Computation and Control (HSCC) 2021. Read the paper here!

18 Nov 2020

Richard Moon successfully defended his thesis. Congratulations Richard!

03 Nov 2020

Akash Ratheesh Babu successfully defended his thesis. Congratulations Akash!

03 Aug 2020

Our work on "LTLf Synthesis on Probabilistic Systems" has been accepted for presentation at the Int. Symposium on Games

24 Jul 2020

Nicholas Renninger successfully defended his thesis. Congratulations Nick!

15 Jul 2020

Our work on "Safety Verification of Unknown Dynamical Systems" has been accepted for presentation at IEEE Conference on Decision and Control (CDC) 2020. Read the paper here!

13 Jul 2020

Our work on "Towards Data-driven Verification of Unknown Dynamical Systems" has been accepted to the Robotics: Science and Systems Workshop for Explainable and Trustworthy Robot Decision Making for Scientific Data Collection. See full paper here!

13 Jul 2020

Our work on "Explainable Multi-Agent Path Finding" has been accepted to the Robotics: Science and Systems Workshop for Explainable and Trustworthy Robot Decision Making for Scientific Data Collection. See full paper here!

20 Feb 2020

ARIA Systems Group’s work on learning specifications has been featured on CEAS News. See article here!

31 Jan 2020

A paper has been accepted for publication in the IEEE Journal of Transactions on Automatic Control (TAC 2020).

20 Jan 2020

A paper has been accepted for presentation in Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2020).

14 Nov 2019

The ARIA Systems Research Group Website is live!

14 Nov 2019

Franka-Robot has a new home at ARIA Systems.