TY  - RPRT
TI  - Model-checking real-time systems: revisiting the alternating automaton route
AU  - Patricia Bouyer
AU  - B Srivathsan
AU  - Vaishnavi Vishwanath
PY  - 2026
UR  - https://arxiv.org/abs/2501.17576
ID  - 2501.17576
ER  -