19 citations · 23 across the 11 of their papers we have counts for
5 papers · 1 filter
Runtime Monitoring of Supermartingale Certificates
Mirco Giacobbe, Thomas A. Henzinger, Konstantin Kueffner +2
Supermartingale certificates formally guarantee temporal properties of discrete and continuous-time stochastic dynamical systems. However, these guarantees rely on a mathematical m…
Shielding for Higher-Order Safety
Filip Cano, Thomas A. Henzinger, Konstantin Kueffner
Safety shields are runtime enforcement mechanisms that restrict the actions of a controller to guarantee safety. Classical shields are usually synthesised for state predicates: the…
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…
Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes
Konstantin Kueffner, Tobias Meggendorfer, Maximilian Weininger +1
Markov decision processes (MDPs) are a classic model of decision making under uncertainty, exhibiting both non-deterministic choice as well as probabilistic uncertainty. Traditiona…
Energy Shields for Fairness
Filip Cano, Thomas A. Henzinger, Konstantin Kueffner
Runtime fairness is not a one-time constraint but a dynamic property evaluated over a sequence of decisions. To ensure fairness at runtime, it is necessary to account for past deci…