html templates

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 Departments of Aerospace Engineering Sciences and Computer Science at the University of Colorado Boulder builds on knowledge developed in control theory, formal methods, statistical reasoning, and machine learning & AI to address real-world challenges in robotics and safety-critical systems.

News

Mar. 31, 2021 Karan Muvvala successfully defended his thesis. Congratulations Karan!
Feb. 28, 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.
Feb. 28, 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.
Dec. 23, 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.
Nov. 18, 2020 Richard Moon successfully defended his thesis. Congratulations Richard!
Nov. 3, 2020 Akash Ratheesh Babu successfully defended his thesis. Congratulations Akash!
Aug. 3, 2020 Our work on LTLf Synthesis on Probabilistic Systems has been accepted for presentation at the Int. Symposium on Games, Automata, Logics, and Formal Verification (GandALF) 2020.
July 24, 2020 Nicholas Renninger successfully defended his thesis. Congratulations Nick!
July 15, 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!
July 13, 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!
July 13, 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!
Feb 11, 2020 ARIA Systems Group's work on learning specifications has been featured on CEAS News. See article here!
Jan 31, 2020 A paper has been accepted for publication in the IEEE journal of Transactions on Automatic Control (TAC 2020).
Jan 20, 2020 A paper has been accepted for presentation in Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2020)
Nov 14, 2019 The ARIA Systems Research Group Website is live!
Nov 14, 2019 Franka-Robot has a new home at ARIA Systems.