TY - RPRT TI - Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata AU - Parastou Fahim AU - Samuel Oliveira AU - Rômulo Meira-Góes PY - 2025 UR - https://arxiv.org/abs/2502.16753 ID - 2502.16753 ER -