ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification

Yue Fang, Zhi Jin, Jie An +3

Signal Temporal Logic (STL) is a formal language for specifying real-time behaviors of cyber-physical systems (CPS). Automatically transforming natural language requirements into S…