Weber, Matthew, Jin, Baihong, Lederman, Gil, Shoukry, Yasser, Lee, Edward A., Seshia, Sanjit, and Sangiovanni-Vincentelli, Alberto. Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. Retrieved from https://par.nsf.gov/biblio/10189607. ACM Transactions on Cyber-Physical Systems 4.4 Web. doi:10.1145/3386568.

Weber, Matthew, Jin, Baihong, Lederman, Gil, Shoukry, Yasser, Lee, Edward A., Seshia, Sanjit, & Sangiovanni-Vincentelli, Alberto. Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Transactions on Cyber-Physical Systems, 4 (4). Retrieved from https://par.nsf.gov/biblio/10189607. https://doi.org/10.1145/3386568

Weber, Matthew, Jin, Baihong, Lederman, Gil, Shoukry, Yasser, Lee, Edward A., Seshia, Sanjit, and Sangiovanni-Vincentelli, Alberto. "Gordian: Formal Reasoning-based Outlier Detection for Secure Localization". ACM Transactions on Cyber-Physical Systems 4 (4). Country unknown/Code not available. https://doi.org/10.1145/3386568. https://par.nsf.gov/biblio/10189607.

@article{osti_10189607,
place = {Country unknown/Code not available}, title = {Gordian: Formal Reasoning-based Outlier Detection for Secure Localization}, url = {https://par.nsf.gov/biblio/10189607}, DOI = {10.1145/3386568}, abstractNote = {}, journal = {ACM Transactions on Cyber-Physical Systems}, volume = {4}, number = {4}, author = {Weber, Matthew and Jin, Baihong and Lederman, Gil and Shoukry, Yasser and Lee, Edward A. and Seshia, Sanjit and Sangiovanni-Vincentelli, Alberto}, }