synthesis of strategies for multi-agent systems