Learning Probabilistic Termination Proofs. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy (CAV (2), 2021)

Quantitative Verification with Neural Networks. - Alessandro Abate; Alec Edwards; Mirco Giacobbe; Hashan Punchihewa; Diptarko Roy (CONCUR, 2023)

Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. - Alessandro Abate; Alec Edwards; Mirco Giacobbe; Hashan Punchihewa; Diptarko Roy (CoRR, 2023)

Model Checking and Strategy Synthesis with Abstractions and Certificates. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy; Yannik Schnitzer (Principles of Verification (2), 2024)

Stochastic Omega-Regular Verification and Control with Supermartingales. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy (CAV (3), 2024)

Quantitative Supermartingale Certificates. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy (CAV (2), 2025)