The Autonomous Systems Group focuses on developing theory and algorithms for the design and verification of autonomous systems in the intersection of computing, control theory, and learning theory.
