Mehran Hosseini
Scholar

Mehran Hosseini

Google Scholar ID: aKeyctwAAAAJ
Assistant Professor, University of Manchester
Formal VerificationSafe AIMulti-Agent Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
84
 
H-index
5
 
i10-index
3
 
Publications
17
 
Co-authors
8
list available
Contact
No contact links provided.
Publications
4 items
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
Resume (English only)
Co-authors
8 total
Joel Ouaknine
Joel Ouaknine
Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
James Worrell
James Worrell
Professor of Computer Science, Oxford University
Nicola Paoletti
Nicola Paoletti
Department of Informatics, King's College London
Alessio R Lomuscio
Alessio R Lomuscio
Imperial College London
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Matthew Purver
Matthew Purver
Professor of Computational Linguistics, Queen Mary University of London / Jožef Stefan Institute
Ignacio Castro
Ignacio Castro
Queen Mary University of London