Hofmann, T.; Claßen, J. LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments. AAAI 2025, 39, 14976-14986.