Ward, T.; Zhou, Y.; Gray, S. LLM-Modulo Planning Agents With External Plan Verification and Iterative Self-Repair. J.I.S.B.T 2024, 1 (1), 11-21.