@misc{indiciae3b2592e188cd,
  title = {A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks},
  author = {Yasser Shoukry and Pierluigi Nuzzo and Nicola Bezzo and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia and Paulo Tabuada},
  year = {2015},
  url = {https://arxiv.org/abs/1509.03262},
  note = {Source identifier: 1509.03262}
}