Feedback Makes Perfect: A Closed-Loop Framework for NL-to-STL Translation
arXiv:2609.33287v1 Announce Type: cross Abstract: Signal Temporal Logic (STL) enables rigorous verification and control of cyber-physical systems, but writing correct specifications requires expertise