Optimal Runtime Verification of Finite State Properties over Lossy Event Streams. - Peeyush Kushwaha; Rahul Purandare; Matthew B. Dwyer (CoRR, 2020)

Optimal Finite-State Monitoring of Partial Traces. - Peeyush Kushwaha; Rahul Purandare; Matthew B. Dwyer (RV, 2022)