@misc{indiciaefbc338a5a05d,
  title = {Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach},
  author = {Yasser Shoukry and Pierluigi Nuzzo and Alberto Puggelli and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia and Paulo Tabuada},
  year = {2015},
  url = {https://arxiv.org/abs/1412.4324},
  note = {Source identifier: 1412.4324}
}