Foundational Verification of Cyber-Physical Systems
Students:
Dan Ricketts
Mario Alvarez
Vignesh Gowda
Post-docs:
Gregory Malecha
Faculty:
Sorin Lerner
Ryan Kastner
Miroslav Krstic