Research map / Multi-agent systems and games / Games and equilibria
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Introduces PATL+R, a probabilistic ATL variant with causal responsibility (CAR/CPR) operators, and computes Nash-equilibrium joint plans balancing responsibility and reward via parametric model checking of concurrent stochastic games.
Problem
Strategic reasoning in probabilistic multi-agent systems where agents are aware of causal responsibility for outcomes, so that plans balance responsibility and reward fairly among agents.
Approach
Extends PATL with quantified reward and causal responsibility (CAR and CPR degree) operators, and uses Nash equilibrium over utilities combining reward and responsibility, computed by reduction to parametric model checking and existential theory of the reals.
Key results
- Model checking PATL+R formulae is shown to be in PSPACE.
- Computing responsibility-aware Nash equilibrium joint plans is shown to be in PSPACE.
- Worked ball-catching example yields an NE with A1 skipping with probability about 0.78 and A2 skipping with probability 2/3.
Limitations
- Restricted to bounded step temporal properties and memoryless randomised strategies.
- Only illustrated on a small toy ball-catching example; no implementation or scalability evaluation.
- Perfect information setting only.
Experimental setup
Builds on: PATL rPATL Causal Active Responsibility Causal Passive Responsibility rational verification
Closest papers by meaning
- On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing (AAAI 2024 · similarity 0.88)
- Natural Strategic Ability in Stochastic Multi-Agent Systems (AAAI 2024 · similarity 0.86)
- From Debate to Equilibrium: Belief‑Driven Multi‑Agent LLM Reasoning via Bayesian Nash Equilibrium (ICML 2025 · similarity 0.86)
- Strat-Reasoner: Reinforcing Strategic Reasoning of LLMs in Multi-Agent Games (ICML 2026 · similarity 0.86)
- Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives (AAAI 2025 · similarity 0.86)
- Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning (AAAI 2024 · similarity 0.86)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.