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!