2 citations · 2 across the 4 of their papers we have counts for
4 papers
Cumulative-Time Signal Temporal Logic
Hongkai Chen, Zeyu Zhang, Shouvik Roy +4
Signal Temporal Logic (STL) is a widely adopted specification language in cyber-physical systems for expressing critical temporal requirements, such as safety conditions and respon…
SHADE-AD: An LLM-Based Framework for Synthesizing Activity Data of Alzheimer's Patients
Heming Fu, Hongkai Chen, Shan Lin +1
Alzheimer's Disease (AD) has become an increasingly critical global health concern, which necessitates effective monitoring solutions in smart health applications. However, the dev…
Patrol Security Game: Defending Against Adversary with Freedom in Attack Timing, Location, and Duration
Hao-Tsung Yang, Ting-Kai Weng, Ting-Yu Chang +4
We explored the Patrol Security Game (PSG), a robotic patrolling problem modeled as an extensive-form Stackelberg game, where the attacker determines the timing, location, and dura…
SensEmo: Enabling Affective Learning through Real-time Emotion Recognition with Smartwatches
Kushan Choksi, Hongkai Chen, Karan Joshi +3
Recent research has demonstrated the capability of physiological signals to infer both user emotional and attention responses. This presents an opportunity for leveraging widely av…