55 citations · 55 across the 4 of their papers we have counts for
1 paper · 1 filter
Logan Kenwright, Partha Roop, Sobhan Chatterjee +1
Signal Temporal Logic (STL) is a popular formalism for the temporal safety properties of cyber-physical systems, most often used for runtime verification. In the synchronous family…