%0 Journal Article %1 journals/tac/TaiLS24 %A Tai, Ruochen %A Lin, Liyong %A Su, Rong %D 2024 %J IEEE Trans. Autom. Control. %K dblp %N 3 %P 1898-1905 %T On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers. %U http://dblp.uni-trier.de/db/journals/tac/tac69.html#TaiLS24 %V 69

@article{journals/tac/TaiLS24, added-at = {2024-03-16T00:00:00.000+0100}, author = {Tai, Ruochen and Lin, Liyong and Su, Rong}, biburl = {https://www.bibsonomy.org/bibtex/2864414f6fe3a401cde435ae3b7619b40/dblp}, ee = {https://doi.org/10.1109/TAC.2023.3329341}, interhash = {a8d1a5d0c05aa5d3550fc1bdb55af937}, intrahash = {864414f6fe3a401cde435ae3b7619b40}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, month = {March}, number = 3, pages = {1898-1905}, timestamp = {2024-04-08T17:30:32.000+0200}, title = {On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac69.html#TaiLS24}, volume = 69, year = 2024 }