Scholar
Mehran Hosseini
Google Scholar ID: aKeyctwAAAAJ
Assistant Professor, University of Manchester
Formal Verification
Safe AI
Multi-Agent Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
87
H-index
5
i10-index
4
Publications
17
Co-authors
8
list available
Publications
5 items
Calibrate-Then-Delegate: Safety Monitoring with Risk and Budget Guarantees via Model Cascades
2026
Cited
0
CONFEX: Uncertainty-Aware Counterfactual Explanations with Conformal Guarantees
2025
Cited
0
LTL Verification of Memoryful Neural Agents
2025
Cited
0
Certified Guidance for Planning with Deep Generative Models
2025
Cited
0
Cost-Effective Attention Mechanisms for Low Resource Settings: Necessity&Sufficiency of Linear Transformations
2024
Cited
1
Co-authors
7 total
Joel Ouaknine
Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
James Worrell
Professor of Computer Science, Oxford University
Nicola Paoletti
Department of Informatics, King's College London
Alessio R Lomuscio
Imperial College London
Peyman Hosseini
PhD Student in Computer Science, Queen Mary University of London, Research Intern at Samsung
Matthew Purver
Professor of Computational Linguistics, Queen Mary University of London / Jožef Stefan Institute
Ignacio Castro
Queen Mary University of London
