Merkliste 
 1 Ergebnisse 
 
1

On Decidability of Existence of Fortified Supervisors Again..:

Tai, Ruochen ; Lin, Liyong ; Su, Rong
IEEE Transactions on Automatic Control.  69 (2024)  3 - p. 1898-1905 , 2024