Formal Verification of Open Multi-Agent Systems. - Panagiotis Kouvaros; Alessio Lomuscio; Edoardo Pirovano; Hashan Punchihewa (AAMAS, 2019)

Safe mutation with algebraic effects. - Hashan Punchihewa; Nicolas Wu (Haskell, 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)