TY  - RPRT
TI  - Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
AU  - Yasser Shoukry
AU  - Pierluigi Nuzzo
AU  - Alberto Puggelli
AU  - Alberto L. Sangiovanni-Vincentelli
AU  - Sanjit A. Seshia
AU  - Paulo Tabuada
PY  - 2015
UR  - https://arxiv.org/abs/1412.4324
ID  - 1412.4324
ER  -