@misc{indiciaef9cf96b7af14,
  title = {Model-checking real-time systems: revisiting the alternating automaton route},
  author = {Patricia Bouyer and B Srivathsan and Vaishnavi Vishwanath},
  year = {2026},
  url = {https://arxiv.org/abs/2501.17576},
  note = {Source identifier: 2501.17576}
}