@misc{indiciae89cf93b90f27,
  title = {Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)},
  author = {Pierriccardo Olivieri and Fausto Lasca and Alessandro Gianola and Matteo Papini},
  year = {2026},
  url = {https://arxiv.org/abs/2602.06227},
  note = {Source identifier: 2602.06227}
}