Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata. - Tareq Ahmad Al-Sarayrah; ZhiWu Li 001; Li Yin; Almetwally M. Mostafa (IEEE Access, 2024)