@misc{indiciae9357ce9f0965,
  title = {MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm},
  author = {S. Akshay and Paul Gastin and R. Govind and B. Srivathsan},
  year = {2025},
  url = {https://arxiv.org/abs/2407.08452},
  note = {Source identifier: 2407.08452}
}