TY  - RPRT
TI  - Optimal Runtime Verification of Finite State Properties over Lossy Event Streams
AU  - Peeyush Kushwaha
AU  - Rahul Purandare
AU  - Matthew B. Dwyer
PY  - 2020
UR  - https://arxiv.org/abs/2004.04214
ID  - 2004.04214
ER  -