6 citations · 8 across the 7 of their papers we have counts for
11 papers
Alternating-Time Temporal Logic with Mean-Payoff Guarantees
Muhammad Najib
Alternating-time temporal logic and its extensions provide several ways of combining strategic and quantitative reasoning. We study a particular combination: whether a coalition ha…
Counterfactual Reasoning for Causal Responsibility Attribution in Probabilistic Multi-Agent Systems
Chunyan Mu, Muhammad Najib
Responsibility allocation -- determining the extent to which agents are accountable for outcomes -- is a fundamental challenge in the design and analysis of multi-agent systems. In…
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…
Concurrent Stochastic Lossy Channel Games
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin +1
Concurrent stochastic games are an important formalism for the rational verification of probabilistic multi-agent systems, which involves verifying whether a temporal logic propert…
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)
Julian Gutierrez, Anthony W. Lin, Muhammad Najib +2
Concurrent multi-player mean-payoff games are important models for systems of agents with individual, non-dichotomous preferences. Whilst these games have been extensively studied…
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli +1
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we explore the concept of equilibr…
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…
Rational Verification for Probabilistic Systems
Julian Gutierrez, Lewis Hammond, Anthony W. Lin +2
Rational verification is the problem of determining which temporal logic properties will hold in a multi-agent system, under the assumption that agents in the system act rationally…
Equilibrium Design for Concurrent Games
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli +1
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we study the design of incentives…
Parameterized Synthesis with Safety Properties
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin +2
Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems. Such systems occur naturally in practice (e.g.,…
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli +1
In the context of multi-agent systems, the rational verification problem is concerned with checking which temporal logic properties will hold in a system when its constituent agent…