Diptarko Roy

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Control Policies

Stochastic Systems

Qualitative And Quantitative

Confidence Intervals

Top Venues

Publications

Alessandro Abate, Mirco Giacobbe, Diptarko Roy
Stochastic Omega-Regular Verification and Control with Supermartingales. CoRR (2024)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
Stochastic Omega-Regular Verification and Control with Supermartingales. CAV (3) (2024)
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
Quantitative Verification with Neural Networks. CONCUR (2023)
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. CoRR (2023)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
Learning Probabilistic Termination Proofs. CAV (2) (2021)