Multiagent Conflict Resolution for a Specification Network of Discrete-Event Coordinating Agents

Manh Tung Pham, Kiam Tian Seow

This paper presents a novel compositional approach to distributed coordination module (CM) synthesis for multiple discrete-event agents in the formal languages and automata framewo…