T. Hofmann and J. Claßen, “LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments”, AAAI, vol. 39, no. 14, pp. 14976–14986, Apr. 2025.