Peeyush Kushwaha

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Policy Iteration Algorithm

Top Venues

Publications

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