C. Amato, B. Bonet, and S. Zilberstein, “Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs”, AAAI, vol. 24, no. 1, pp. 1052–1058, Jul. 2010.