Security and Localization of Cyber Attacks in Finite State Machines. - Bushra Bushra; Elena De Santis; Giordano Pola (CASE, 2024)

Observer Decomposition for Finite State Machines and its Application to Opacity. - Bushra Bushra; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2024)