TY  - RPRT
TI  - Pacing Types: Safe Monitoring of Asynchronous Streams
AU  - Florian Kohn
AU  - Arthur Correnson
AU  - Jan Baumeister
AU  - Bernd Finkbeiner
PY  - 2025
UR  - https://arxiv.org/abs/2509.06724
ID  - 2509.06724
ER  -