TY  - RPRT
TI  - FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
AU  - Leo Ardon
AU  - Daniel Furelos-Blanco
AU  - Roko Parac
AU  - Alessandra Russo
PY  - 2025
UR  - https://arxiv.org/abs/2501.00364
ID  - 2501.00364
ER  -