Tareq Ahmad Al-Sarayrah

Orcid: 0009-0005-0135-6425

According to our database¹, Tareq Ahmad Al-Sarayrah authored at least 2 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Robust opacity in timed automata: notions and verification.

[DOI]

Reliab. Eng. Syst. Saf., 2026

2024

Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata.

[DOI]

IEEE Access, 2024