TY  - RPRT
TI  - LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
AU  - Till Hofmann
AU  - Jens Claßen
PY  - 2025
UR  - https://arxiv.org/abs/2410.00726
ID  - 2410.00726
ER  -