%0 Journal Article %1 journals/tcps/WeberJLSLSS20 %A Weber, Matthew %A Jin, Baihong %A Lederman, Gil %A Shoukry, Yasser %A Lee, Edward A. %A Seshia, Sanjit %A Sangiovanni-Vincentelli, Alberto L. %D 2020 %J ACM Trans. Cyber Phys. Syst. %K dblp %N 4 %P 43:1-43:27 %T Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. %U http://dblp.uni-trier.de/db/journals/tcps/tcps4.html#WeberJLSLSS20 %V 4

@article{journals/tcps/WeberJLSLSS20, added-at = {2022-01-08T00:00:00.000+0100}, author = {Weber, Matthew and Jin, Baihong and Lederman, Gil and Shoukry, Yasser and Lee, Edward A. and Seshia, Sanjit and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/239d9e6b5867e825ffcca97fba10360f3/dblp}, ee = {https://doi.org/10.1145/3386568}, interhash = {da0714b4da9c37a29e6f205381d9fa74}, intrahash = {39d9e6b5867e825ffcca97fba10360f3}, journal = {ACM Trans. Cyber Phys. Syst.}, keywords = {dblp}, number = 4, pages = {43:1-43:27}, timestamp = {2024-04-09T00:52:57.000+0200}, title = {Gordian: Formal Reasoning-based Outlier Detection for Secure Localization.}, url = {http://dblp.uni-trier.de/db/journals/tcps/tcps4.html#WeberJLSLSS20}, volume = 4, year = 2020 }