17 citations · 90 across the 13 of their papers we have counts for
1 paper · 1 filter
Petr Dluhoš, Luboš Brim, David Šafránek
To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm decidin…