Naomi Kuze, Ami Sakakibara, Toshimitsu Ushio. WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control. In 11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020. pages 194-195, IEEE, 2020. [doi]
Abstract is missing.