Supervision and diagnosis of joint actions in multi-agent plans

The paper formalizes a distributed approach to the problem of supervising the execution of a multi-agent plan where (possibly joint) actions are executed concurrently by a team of cooperating agents in a partially observable environment. The notions of plan and agent diagnosis are introduced and discussed.