Cita APA (7a ed.)

Choi, J., Pant, K. A., Nune, K., & Hwang, I. (2026). Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming.

Cita Chicago Style (17a ed.)

Choi, Joonwon, Kartik Anand Pant, Karthik Nune, y Inseok Hwang. Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming. 2026.

Cita MLA (9a ed.)

Choi, Joonwon, et al. Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming. 2026.