Zhang Y, Sreedharan S, Kambhampati S. A Formal Analysis of Required Cooperation in Multi-Agent Planning. ICAPS [Internet]. 2016 Mar. 30 [cited 2026 May 26];26(1):335-43. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13770