April 15, 2016
Paper by Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli and Sanjit Seshia wins ACM/IEE ICCPS Best Paper Award
The paper “SMT-Based Observer Design for Cyber Physical Systems Under Sensor Attacks,” co-authored by EECS postdoctoral researchers Yasser Shoukry and Pierluigi Nuzzo with professors Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia, in collaboration with researchers from UCLA and UCSB, received the Best Paper Award at the ACM/IEEE International Conference…