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), pp. 24613-24621. doi: 10.1609/aaai.v40i29.39645.