A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker. - Yin Tong; Yucheng Wang 018; Alessandro Giua (IEEE Control. Syst. Lett., 2022)