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

02 Apr 2024

Kandai successfully defended his PhD thesis. Congrats, Dr. Watanabe!

28 Mar 2024

Our work on "Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances" has been accepted for presentation in Learning for Dynamics and Control Conference (L4DC).

25 Mar 2024

Our work on "Introducing Delays in Multi-Agent Path Finding" has been accepted for presentation in Int. Symposium on Combinatorial Search (SoCS). Read the preprint here!

14 Mar 2024

Our work on "IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes" has been accepted for presentation in IFAC Conference on Analysis and Design of Hybrid Systems (ADHS). Read the preprint here!

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!
17 Nov 2023	Our work on "Chance-Constrained Multi-Robot Motion Planning under Gaussian Uncertainties" has been accepted for publication in the IEEE Robotics and Automation Letters (RA-L). Read the preprint here!
16 Nov 2023	Our work on "Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems" has been accepted for publication in the IEEE Robotics and Automation Letters (RA-L). Read the preprint here!
01 Dec 2023	Justin Kottinger successfully passed his comprehensive exam (thesis prospectus). Congrats Justin!
10 Nov 2023	Anne Theurkauf successfully passed her comprehensive exam (thesis prospectus). Congrats Anne!
03 Nov 2023	Kandai Watanabe successfully passed his comprehensive exam (thesis prospectus). Congrats Kandai!
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.