Predictive Zonotope Reduction: Precise Runtime Monitoring under Uncertainty

Vladimir Krsmanovic, Florian Kohn, Bernd Finkbeiner +1

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…