Diptarko Roy

According to our database, Diptarko Roy authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Stochastic Omega-Regular Verification and Control with Supermartingales.

Alessandro Abate, Mirco Giacobbe, Diptarko Roy

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems.

Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy

CoRR, 2023

Quantitative Verification with Neural Networks.

Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2021

Learning Probabilistic Termination Proofs.

Alessandro Abate, Mirco Giacobbe, Diptarko Roy

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021