Trustworthy Engineered Autonomy (TEA) Lab

The mission of the TEA Lab is to make autonomous systems safer and more trustworthy through rigorous engineering methods with strong guarantees. Our interests lie at the intersection of formal methods, AI/machine learning, cyber-physical systems, and robotics.