A Formal Analysis of Required Cooperation in Multi-agent Planning | Read Paper on Bytez