J. Löhr, M. Wehrle, M. Fox, and B. Nebel, “Symbolic Domain Predictive Control”, AAAI, vol. 28, no. 1, Jun. 2014.