Scholar

Muhammad Najib

Google Scholar ID: a_49dn0AAAAJ

Heriot-Watt University

Multiagent SystemsFormal VerificationGame TheoryArtificial Intelligence

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

208

H-index

8

i10-index

8

Publications

19

Co-authors

15

list available

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

Co-authors

12 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

University of Oxford

Alessandro Abate

Professor of Verification and Control, University of Oxford, UK

Marta Kwiatkowska

Professor of Computing Systems, University of Oxford

Chih-Duo Hong (洪智鐸)

National Chengchi University, Taiwan