Diptarko Roy
According to our database1,
Diptarko Roy
authored at least 3 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems.
CoRR, 2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021