| Title | SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Hespanha JP, Sangiovanni-Vincentelli AL, Seshia SA, Shoukry Y, Chong M, Nuzzo P, Tabuada P, Wakaiki M |
| Conference Name | ACM-IEEE International Conference on Cyber-Physical Systems |
| Publisher | IEEE |