WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control

Publication
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)