13 citations · 31 across the 18 of their papers we have counts for
1 paper · 1 filter
Ruochen Tai, Liyong Lin, Rong Su
This work investigates the problem of synthesizing fortified supervisors against covert actuator attackers. For a non-resilient supervisor S, i.e., there exists at least a covert a…