APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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