4 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
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…