TY  - RPRT
TI  - Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
AU  - Pierriccardo Olivieri
AU  - Fausto Lasca
AU  - Alessandro Gianola
AU  - Matteo Papini
PY  - 2026
UR  - https://arxiv.org/abs/2602.06227
ID  - 2602.06227
ER  -