3 papers
cs.LO2025
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…
cs.LG2025
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…
cs.AI2024
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…