Majeed, S. J.; Hutter, M. Performance Guarantees for Homomorphisms Beyond Markov Decision Processes. AAAI 2019, 33, 7659-7666.