1 paper
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini +5
Signal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical systems. While there has been extensive research…