@inproceedings{showkatbakhsh2017smt,
 author = {Showkatbakhsh, Mehrdad and Shoukry, Yasser and Chen, Robert H and Diggavi, Suhas and Tabuada, Paulo},
 booktitle = {2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
 organization = {IEEE},
 pages = {157--162},
 tags = {conf,CPS},
 title = {An SMT-based approach to secure state estimation under sensor and actuator attacks},
 type = {4},
 year = {2017}
}

{"_id":"LE43BfKvS7LggFSz4","bibbaseid":"showkatbakhsh-shoukry-chen-diggavi-tabuada-ansmtbasedapproachtosecurestateestimationundersensorandactuatorattacks-2017","author_short":["Showkatbakhsh, M.","Shoukry, Y.","Chen, R. H","Diggavi, S.","Tabuada, P."],"bibdata":{"bibtype":"inproceedings","type":"4","author":[{"propositions":[],"lastnames":["Showkatbakhsh"],"firstnames":["Mehrdad"],"suffixes":[]},{"propositions":[],"lastnames":["Shoukry"],"firstnames":["Yasser"],"suffixes":[]},{"propositions":[],"lastnames":["Chen"],"firstnames":["Robert","H"],"suffixes":[]},{"propositions":[],"lastnames":["Diggavi"],"firstnames":["Suhas"],"suffixes":[]},{"propositions":[],"lastnames":["Tabuada"],"firstnames":["Paulo"],"suffixes":[]}],"booktitle":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","organization":"IEEE","pages":"157–162","tags":"conf,CPS","title":"An SMT-based approach to secure state estimation under sensor and actuator attacks","year":"2017","bibtex":"@inproceedings{showkatbakhsh2017smt,\n author = {Showkatbakhsh, Mehrdad and Shoukry, Yasser and Chen, Robert H and Diggavi, Suhas and Tabuada, Paulo},\n booktitle = {2017 IEEE 56th Annual Conference on Decision and Control (CDC)},\n organization = {IEEE},\n pages = {157--162},\n tags = {conf,CPS},\n title = {An SMT-based approach to secure state estimation under sensor and actuator attacks},\n type = {4},\n year = {2017}\n}\n\n","author_short":["Showkatbakhsh, M.","Shoukry, Y.","Chen, R. H","Diggavi, S.","Tabuada, P."],"key":"showkatbakhsh2017smt","id":"showkatbakhsh2017smt","bibbaseid":"showkatbakhsh-shoukry-chen-diggavi-tabuada-ansmtbasedapproachtosecurestateestimationundersensorandactuatorattacks-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://research.seas.ucla.edu/licos/files/2023/02/publicactions_v1.bib","dataSources":["hicKnsKYNEFXC4CgH","jxCYzXXYRqw2fiEXQ","wCByFFrQMyRwfzrJ6","yuqM5ah4HMsTyDrMa","YaM87hGQiepg5qijZ","n9wmfkt5w8CPqCepg","soj2cS6PgG8NPmWGr","FaDBDiyFAJY5pL28h","ycfdiwWPzC2rE6H77"],"keywords":[],"search_terms":["smt","based","approach","secure","state","estimation","under","sensor","actuator","attacks","showkatbakhsh","shoukry","chen","diggavi","tabuada"],"title":"An SMT-based approach to secure state estimation under sensor and actuator attacks","year":2017}