TY  - RPRT
TI  - Monitoring with Verified Guarantees
AU  - Dauer J. C.
AU  - Finkbeiner B.
AU  - Schirmer S
PY  - 2021
DO  - 10.1007/978-3-030-88494-9_4
UR  - https://arxiv.org/abs/2110.11755
ID  - 2110.11755
ER  -