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