We are the EXplainable and Assured Control for AuTonomy (EXACT) lab in the Department of Electrical and Computer Engineering and the Department of Computer Science at the University of Maryland, College Park. Our goal is to make control and machine learning systems safe, explainable, and interpretable. We are interested in robotics and synthetic biology.

News

• 05/08/2025: Calin received the Test of Time Award at HSCC 2025 for his paper (co-authored with Marius Kloetzer): “Marius Kloetzer and Calin Belta, A fully automated framework for control of linear systems from LTL specifications, HSCC 2006.” Congrats Calin!