Olivieri, P., Lasca, F., Gianola, A. and Papini, M. 2026. Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning. Proceedings of the AAAI Conference on Artificial Intelligence. 40, 29 (Mar. 2026), 24613-24621. DOI:https://doi.org/10.1609/aaai.v40i29.39645.