Visible to the public Biblio

Filters: Author is Alberto Sangiovanni-Vincentelli  [Clear All Filters]
2018-05-11
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, João P. Hespanha, Paulo Tabuada.  2017.  SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks. ACM Trans. Cyber-Physical Systems.