Author

Florian Kohn

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Predictive Zonotope Reduction: Precise Runtime Monitoring under Uncertainty

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

Preprint Aug 2026

Stream-based Online and Offline Monitoring under Measurement Noise

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