14 citations · 31 across the 17 of their papers we have counts for
1 paper · 2 filters
Hammad Ahmad, Jean-Baptiste Jeannin
Signal temporal logic (STL) was introduced for monitoring temporal properties of continuous-time signals for continuous and hybrid systems. Differential dynamic logic (dL) was intr…