We are a group of robot enthusiasts in the Department of Aerospace Engineering Sciences at the University of Colorado Boulder set on developing Assured, Reliable, and Interactive Autonomous (ARIA) systems. We envision a world where autonomous systems operate safely and effectively alongside humans and form trusting partnerships to improve the well-being of individuals and societies. This vision drives our research in developing theoretical foundations and computational frameworks that enable reliable and intelligent autonomy. We view this as an art, a creative process that requires deep technical understandings of the fields that contribute to robotics.
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 builds on knowledge developed in control theory, formal methods, statistical reasoning, machine learning & AI and seeks to address real-world challenges in robotics and safety-critical systems.
|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.|