Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture. - Joonwon Choi; Kartik Anand Pant; Youngim Nam; Henry Hellmann; Karthik Nune; Inseok Hwang 002 (CoRR, 2026)

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