Conceptio
›
Archive
›
arXiv (OAI Expanded)
arXiv (OAI Expanded)
open access
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
Finkbeiner, Bernd et al.
arXiv (OAI Expanded) · Papers · License: Open Access
Open Source ↗
Direct PDF ↓
programming languages
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record
· ID 628037
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.