Scholar
Muhammad Najib
Google Scholar ID: a_49dn0AAAAJ
Heriot-Watt University
Multiagent Systems
Formal Verification
Game Theory
Artificial Intelligence
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
208
H-index
8
i10-index
8
Publications
19
Co-authors
15
list available
Contact
No contact links provided.
Publications
2 items
Alternating-Time Temporal Logic with Mean-Payoff Guarantees
2026
Cited
0
Counterfactual Reasoning for Causal Responsibility Attribution in Probabilistic Multi-Agent Systems
2026
Cited
0
Resume (English only)
Co-authors
15 total
Julian Gutierrez
Associate Professor, University of Sussex
Michael Wooldridge
University of Oxford
Giuseppe Perelli
Associate Professor at Sapienza University of Rome
Anthony Widjaja Lin
Professor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software Systems
Co-author 5
Lewis Hammond
University of Oxford
Co-author 7
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
