137 citations · 525 across the 67 of their papers we have counts for
1 paper · 2 filters
Marco Zamponi, Florian Lammel, Ezio Bartocci +1
Signal Temporal Logic (STL) is a formalism used to describe temporal properties of real-valued signals in cyber-physical systems. In mission- and safety-critical domains, specifica…