News Item
Featured People

Radoslav Ivanov

Taylor Carpenter

James Weimer

Rajeev Alur

George Pappas

Insup Lee
PRECISE Team Wins ACM TECS Best Paper Award at ESWeek 2022
Wednesday, October 12, 2022
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, and Insup Lee won ACM Transactions on Embedded Computing Systems (TECS) Best Paper Award at ESWeek 2022. Their paper addresses the problem of verifying the safety of autonomous systems with neural network (NN) controllers; and provides evaluations on four benchmarks.
Congratulations on your well-deserved achievement!