Löhr, J.; Wehrle, M.; Fox, M.; Nebel, B. Symbolic Domain Predictive Control. AAAI 2014, 28.