Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
Ben Batten, Mehran Hosseini*, Alessio Lomuscio - PDF coming soon!.
I'm a research associate at the Department of Informatics at King's College London working with Nicola Paoletti. My work focuses on safe and verifiable AI.
In more details, I use techniques from formal verification and optimisation to evaluate the safety of neural networks and agents against desired safety specifications. Specifications that I have been working on recently include bounded and unbounded temporal specifications, as well as adversarial robustness.
Before Joining King's College, I was working with Alessio Lomuscio at Imperial College London's Department of Computing. Prior to this, I completed my DPhil in computer science at Oxford University, where I was lucky to have James Worrell and Joël Ouaknine as my supervisors.
Ben Batten, Mehran Hosseini*, Alessio Lomuscio - PDF coming soon!.
Mehran Hosseini*, Alessio Lomuscio - AAMAS 2023 - PDF.
Mehran Hosseini* - University of Oxford 2021 - PDF.
Mehran Hosseini*, Joël Ouaknine, James Worrell - ICALP 2019 - PDF.
Shaull Almagor, Brynmor Chapman, Mehran Hosseini*, Joël Ouaknine, James Worrell - CONCUR 2018 - PDF.
Mehran Hosseini*, Reza Rezaeian Farashahi - Finite Fields and Their Applications 2016 - PDF.