Chatterjee, Krishnendu, and Martin Chmelík. 2016. “Indefinite-Horizon Reachability in Goal-DEC-POMDPs”. Proceedings of the International Conference on Automated Planning and Scheduling 26 (1):88-96. https://doi.org/10.1609/icaps.v26i1.13737.