Our paper titled “ Gordian: Formal Reasoning Based Outlier Detection for Secure Localization” is accepted for publication in ACM Transactions on Cyber-Physical Systems.
Our paper titled “ Gordian: Formal Reasoning Based Outlier Detection for Secure Localization” is accepted for publication in ACM Transactions on Cyber-Physical Systems.