A Predictive Zonotope Reduction (PZR) approach, which frames reducer selection as an optimal control problem and solves it using beam-search model predictive control using beam-search model predictive control, enabling uncertainty-aware runtime monitoring on resource-constrained real-time systems.
Vladimir Krsmanovic, Florian Kohn, Bernd Finkbeiner et al.· 0 citations
Stream-based monitoring is a runtime verification approach for cyber-physical systems that translates streams of input data, such as sensor readings, into streams of aggregate statistics and verdicts about the safety of the system. It is usually assumed that the values on the input streams represent fully accurate meas...
Bernd Finkbeiner, M. Fränzle, Florian Kohn et al.· 0 citations
FairMon is presented, a runtime monitoring tool tailored to fairness analysis of high-stakes decision systems that uses RTLola as a flexible specification language for monitors and is extended with conditional probability operators that allow for concise descriptions of algorithmic fairness properties.
Jan Baumeister, Bernd Finkbeiner, Vladimir Krsmanovic et al.· Lecture notes in computer sc...· 0 citations
This paper presents a new deductive system for language inclusion of Büchi automata that preserves the simplicity of Almost Fair Simulations, with the additional benefit of being complete for fair similarity.
Arthur Correnson, Iona Kuhn, Bernd Finkbeiner· International Conference on...· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
