@misc{indiciae2fcc47aa6896,
  title = {Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification},
  author = {Keshav Ramani and Vali Tawosi and Salwa Alamir and Daniel Borrajo},
  year = {2025},
  url = {https://arxiv.org/abs/2510.03469},
  note = {Source identifier: 2510.03469}
}