25 citations · 65 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025★ 17 cited
RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic
In this paper, we present Real-Time Analog Monitoring Tool (RTAMT), a tool for quantitative monitoring of Signal Temporal Logic (STL) specifications. The library implements a flexi…
cs.LO2020★ 20 cited
RTAMT: Online Robustness Monitors from STL
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…