TY  - RPRT
TI  - Predictive Zonotope Reduction: Precise Runtime Monitoring under Uncertainty
AU  - Vladimir Krsmanovic
AU  - Florian Kohn
AU  - Bernd Finkbeiner
AU  - Milan Simovic
PY  - 2026
UR  - https://arxiv.org/abs/2609.03699
ID  - 2609.03699
ER  -