TY  - RPRT
TI  - Predictive Semantics for Past-CTL Runtime Monitors
AU  - Giorgio Audrito
AU  - Volker Stolz
AU  - Gianluca Torta
PY  - 2022
UR  - https://arxiv.org/abs/2209.00538
ID  - 2209.00538
ER  -