Synthesis of control protocols for multi-agent systems with similar actions | IEEE Conference Publication | IEEE Xplore