Formal Verification of Parameterized Multi-Agent Systems Using Predicate Diagrams
This paper presents a formal diagram-based verification technique for multi-agent systems. A multi-agent system is a collection of intelligent agents that interact with each others and work together to achieve a goal. The authors view multiagent systems as parameterized systems which are systems that consist of several similar processes whose number is determined by an input parameter. The motivation of this paper is that by treating multi-agent systems as parameterized systems, the specification and verification processes can be done in the same way regardless of the number of agents involved in the multi-agent systems.