@misc{indiciae71a60b0daca6,
  title = {Full LTL Synthesis over Infinite-state Arenas},
  author = {Shaun Azzopardi and Luca Di Stefano and Nir Piterman and Gerardo Schneider},
  year = {2025},
  doi = {10.1007/978-3-031-98685-7\_13},
  url = {https://arxiv.org/abs/2307.09776},
  note = {Source identifier: 2307.09776}
}