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