@article{textttformlearningexpressiveand,
  title = {FORM: Learning Expressive and Transferable First-Order Logic Reward Machines},
  author = {Leo Ardon and Daniel Furelos-Blanco and Roko Parac and Alessandra Russo},
  year = {2024},
  eprint = {2501.00364},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2501.00364v3},
}