@misc{indiciaec4dd6870dbb6,
  title = {Engineering an LTLf Synthesis Tool},
  author = {Alexandre Duret-Lutz and Shufang Zhu and Nir Piterman and Giuseppe de Giacomo and Moshe Y Vardi},
  year = {2025},
  url = {https://arxiv.org/abs/2507.02491},
  note = {Source identifier: 2507.02491}
}