T. Ward, Y. Zhou, and S. Gray, “LLM-Modulo Planning Agents with External Plan Verification and Iterative Self-Repair”, J.I.S.B.T, vol. 1, no. 1, pp. 11–21, Dec. 2024, Accessed: Oct. 16, 2026. [Online]. Available: https://journal.jci.co.id/jisbt/article/view/814