Muhammad Najib
3 papers
· 2019–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(6)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(13)
Conferences
IJCAI (2)
AAAI (1)
Top co-authors
Keywords
model checking
(2)
nash equilibrium
(2)
temporal logic
(1)
multi-agent system
(1)
probabilistic multi-agent system
(1)
causal responsibility
(1)
probabilistic alternating-time temporal logic
(1)
parametric model checking
(1)
side payment
(1)
rational verification
(1)
game theoretic equilibrium
(1)
mean-payoff utility
(1)
responsibility-aware reasoning
(1)
energy reactive modules game
(1)
core solution
(1)
resource-bounded agent
(1)
reactive modules game
(1)
energy transfer
(1)
strategic reasoning
(1)