K. Chatterjee and M. Chmelík, “Indefinite-Horizon Reachability in Goal-DEC-POMDPs”, ICAPS, vol. 26, no. 1, pp. 88–96, Mar. 2016.