2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.AI2024
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems
Chunyan Mu, Muhammad Najib, Nir Oren
Responsibility plays a key role in the development and deployment of trustworthy autonomous systems. In this paper, we focus on the problem of strategic reasoning in probabilistic…
cs.GT2024
Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version)
Muhammad Najib, Giuseppe Perelli
Mechanism design is a well-established game-theoretic paradigm for designing games to achieve desired outcomes. This paper addresses a closely related but distinct concept, equilib…
cs.LO2022★ 2 cited
On the Complexity of Rational Verification
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli +1
Rational verification refers to the problem of checking which temporal logic properties hold of a concurrent multiagent system, under the assumption that agents in the system choos…