Controller synthesis method for multi-agent system based on temporal logic specification

Open in new window