Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring

Bernd Finkbeiner, Martin Fränzle, Martin Fränzle +3

Stream-based monitoring assesses the health of safety-critical systems by transforming input streams of sensor measurements into output streams that determine a verdict. These inpu…