TY  - RPRT
TI  - Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic
AU  - Thomas Wright
AU  - Ian Stark
PY  - 2020
UR  - https://arxiv.org/abs/2008.06589
ID  - 2008.06589
ER  -