TY  - RPRT
TI  - Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
AU  - Keshav Ramani
AU  - Vali Tawosi
AU  - Salwa Alamir
AU  - Daniel Borrajo
PY  - 2025
UR  - https://arxiv.org/abs/2510.03469
ID  - 2510.03469
ER  -