6 citations · 8 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
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…
cs.MA2026
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…