Preprint
Sep 2026
Predictive Zonotope Reduction: Precise Runtime Monitoring under Uncertainty
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