TY  - RPRT
TI  - Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming
AU  - Joonwon Choi
AU  - Kartik Anand Pant
AU  - Karthik Nune
AU  - Inseok Hwang
PY  - 2026
UR  - https://arxiv.org/abs/2603.08633
ID  - 2603.08633
ER  -