Hashan Punchihewa

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Quantitative And Qualitative

Electronic Institutions

Formal Verification

Top Venues

Publications

Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
Quantitative Verification with Neural Networks. CONCUR (2023)
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. CoRR (2023)
Hashan Punchihewa, Nicolas Wu
Safe mutation with algebraic effects. Haskell (2021)
Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano, Hashan Punchihewa
Formal Verification of Open Multi-Agent Systems. AAMAS (2019)