Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata. - Parastou Fahim; Samuel Oliveira; Rômulo Meira-Góes (CoRR, 2025)