Monitoring Discounted Sum Properties

Filip Cano, Thomas A. Henzinger, Konstantin Kueffner +1

Runtime monitoring of quantitative signals faces a fundamental trade-off between volatility and over-aggregation: instantaneous observations are noisy, while long-run averages obsc…