AAAI 2025 Synthesis Experiments

This revision was used for the experiments on synthesis as reported in the paper

Till Hofmann and Jens Claßen:
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments.
In Proc. AAAI, 2025.