25 citations · 65 across the 9 of their papers we have counts for
1 paper · 1 filter
Dejan Nickovic, Tomoya Yamaguchi
We present RTAMT, an online monitoring library for Signal Temporal Logic (STL) and its interface-aware variant (IA-STL), providing both discrete- and dense-time interpretation of t…