Feedback Makes Perfect: A Closed-Loop Framework for NL-to-STL Translation
Signal Temporal Logic (STL) enables rigorous verification and control of cyber-physical systems, but writing correct specifications requires expertise that most requirement holders lack. Large language models can translate natural-language (NL) requirements into STL, yet stronger translators alone approach an accuracy...
Bo-Wen Ye, Xiang Yin
· 0 citations