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…