@misc{indiciae5d29b7d810c8, title = {Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata}, author = {Parastou Fahim and Samuel Oliveira and Rômulo Meira-Góes}, year = {2025}, url = {https://arxiv.org/abs/2502.16753}, note = {Source identifier: 2502.16753} }