Feedback Makes Perfect: A Closed-Loop Framework for NL-to-STL Translation.

arXiv:2609.33287v1 Announce Type: new Abstract: 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