@misc{indiciae7768a979ba60,
  title = {LTL Verification of Memoryful Neural Agents},
  author = {Mehran Hosseini and Alessio Lomuscio and Nicola Paoletti},
  year = {2025},
  url = {https://arxiv.org/abs/2503.02512},
  note = {Source identifier: 2503.02512}
}