@misc{indiciae81973176359f,
  title = {Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards},
  author = {Benoît Barbot and Damien Busatto-Gaston and Catalin Dima and Youssouf Oualhadj},
  year = {2024},
  url = {https://arxiv.org/abs/2404.18584},
  note = {Source identifier: 2404.18584}
}