Cita APA (7a ed.)

Lee, C., Porfirio, D., Wang, X. J., Zhao, K., & Mutlu, B. (2025). VeriPlan: Integrating Formal Verification and LLMs into End-User Planning.

Cita Chicago Style (17a ed.)

Lee, Christine, David Porfirio, Xinyu Jessica Wang, Kevin Zhao, y Bilge Mutlu. VeriPlan: Integrating Formal Verification and LLMs into End-User Planning. 2025.

Cita MLA (9a ed.)

Lee, Christine, et al. VeriPlan: Integrating Formal Verification and LLMs into End-User Planning. 2025.