Showing 2025Show all
2 papers · 1 filter
cs.SE2025
Automatic Syntax Error Repair for Discrete Controller Synthesis using Large Language Model
Yusei Ishimizu, Takuto Yamauchi, Sinan Chen +3
Discrete Controller Synthesis (DCS) is a powerful formal method for automatically generating specifications of discrete event systems. However, its practical adoption is often hind…
eess.SP2025
CECGSR: Circular ECG Super-Resolution
Honggui Li, Zhengyang Zhang, Dingtai Li +11
Background and Objective: The electrocardiogram (ECG) plays a crucial role in the diagnosis and treatment of various cardiac diseases. ECG signals suffer from low-resolution (LR) d…