No photo of Diptarko Roy

View Scopus Profile

Diptarko Roy

Mr.

20212024

Research activity per year

Fingerprint

Dive into the research topics where Diptarko Roy is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 3 Conference contribution
  • 1 Chapter
  • 1 Preprint

  • Model Checking and Strategy Synthesis with Abstractions and Certificates

    Abate, A., Giacobbe, M., Roy, D. & Schnitzer, Y., 13 Nov 2024, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, p. 360-391 32 p. (Lecture Notes in Computer Science; vol. 15261).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Stochastic Omega-Regular Verification and Control with Supermartingales

    Abate, A., Giacobbe, M. & Roy, D., 27 May 2024, arXiv.

    Research output: Working paper/Preprint › Preprint

    File
    79 Downloads (Pure)

  • Stochastic Omega-Regular Verification and Control with Supermartingales

    Abate, A., Giacobbe, M. & Roy, D., 26 Jul 2024, Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III. Gurfinkel, A. & Ganesh, V. (eds.). 1 ed. Springer, p. 395-419 25 p. (Lecture Notes in Computer Science; vol. 14683).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    1 Downloads (Pure)

  • Quantitative Verification with Neural Networks

    Abate, A., Edwards, A., Giacobbe, M., Punchihewa, H. & Roy, D., 7 Sept 2023, 34th International Conference on Concurrency Theory: CONCUR 2023, September 18–23, 2023, Antwerp, Belgium. Pérez, G. & Raskin, J.-F. (eds.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik , p. 22:1-22:18 18 p. (Leibniz International Proceedings in Informatics; vol. 279).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    10 Downloads (Pure)

  • Learning Probabilistic Termination Proofs

    Abate, A., Giacobbe, M. & Roy, D., 17 Jul 2021, Computer Aided Verification: 3rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Silva, A. & Leino, K. R. M. (eds.). 1 ed. Cham: Springer, p. 3–26 24 p. (Theoretical Computer Science and General Issues; vol. 12760).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    39 Downloads (Pure)