Robust opacity in timed automata: notions and verification. - Sjood Ammen Daje; Tareq Ahmad Al-Sarayrah; Ding Liu 001; Zhi Wu Li 001 (Reliab. Eng. Syst. Saf., 2026)