4 papers
Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming
Joonwon Choi, Kartik Anand Pant, Karthik Nune +1
We propose a reachability-based framework for reliable LLM-guided human-autonomy teaming (HAT) using signal temporal logic (STL). In the proposed framework, LLM is leveraged as a t…
Signal Temporal Logic Evaluation and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
Joonwon Choi, Kartik Anand Pant, Youngim Nam +3
We propose a signal temporal logic (STL)-based framework that checks the feasibility of a mission described in STL and synthesizes control to safely execute it. The proposed framew…
Low-Shot Learning for Fictional Claim Verification
Viswanath Chadalapaka, Derek Nguyen, JoonWon Choi +2
In this paper, we study the problem of claim verification in the context of claims about fictional stories in a low-shot learning setting. To this end, we generate two synthetic da…
State Prediction of Human-in-the-Loop Multi-rotor System with Stochastic Human Behavior Model
Joonwon Choi, Sooyung Byeon, Inseok Hwang
Reachability analysis is a widely used method to analyze the safety of a Human-in-the-Loop Cyber Physical System (HiLCPS). This strategy allows the HiLCPS to respond against an imm…