Robots operating in physical environments make control decisions based on uncertain sensor measurements, which can lead to unsafe or suboptimal actions. Runtime monitors that check their behavior against safety specifications must represent this uncertainty soundly. Zonotopes are a widely used representation, but conti...
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.
