%0 Journal Article %1 journals/tac/ShoukryNPSST17 %A Shoukry, Yasser %A Nuzzo, Pierluigi %A Puggelli, Alberto %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %A Tabuada, Paulo %D 2017 %J IEEE Trans. Autom. Control. %K %N 10 %P 4917-4932 %T Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. %U http://dblp.uni-trier.de/db/journals/tac/tac62.html#ShoukryNPSST17 %V 62

@article{journals/tac/ShoukryNPSST17, added-at = {2023-12-13T03:51:03.000+0100}, author = {Shoukry, Yasser and Nuzzo, Pierluigi and Puggelli, Alberto and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A. and Tabuada, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/2b664f8f0606fe4d7ad9fc9554ca30c4b/admin}, ee = {https://www.wikidata.org/entity/Q57380114}, interhash = {8f79c19dcaf4e894c67670f6660ff512}, intrahash = {b664f8f0606fe4d7ad9fc9554ca30c4b}, journal = {IEEE Trans. Autom. Control.}, keywords = {}, number = 10, pages = {4917-4932}, timestamp = {2023-12-13T03:51:03.000+0100}, title = {Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac62.html#ShoukryNPSST17}, volume = 62, year = 2017 }