@misc{indiciae4570925beae6,
  title = {LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments},
  author = {Till Hofmann and Jens Claßen},
  year = {2025},
  url = {https://arxiv.org/abs/2410.00726},
  note = {Source identifier: 2410.00726}
}