Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent
Systems
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent
Systems
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 multi-agent systems with responsibility-aware agents. We introduce the logic PATL+R, a variant of Probabilistic Alternating-time Temporal Logic. The novelty of PATL+R lies in …