Style de citation APA (7e éd.)

Ramani, K., Tawosi, V., Alamir, S., & Borrajo, D. (2025). Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification.

Style de citation Chicago (17e éd.)

Ramani, Keshav, Vali Tawosi, Salwa Alamir, et Daniel Borrajo. Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification. 2025.

Style de citation MLA (9e éd.)

Ramani, Keshav, et al. Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification. 2025.