Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada. SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. TCPS, 2(1), 2018. [doi]
Abstract is missing.