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 on Cyber-Physical Systems, ICCPS 2016. Research for the paper was supported by the TerraSwarm and ExCAPE projects.