Vianna, L.; de Barros, L.; Sanner, S. Real-Time Symbolic Dynamic Programming. AAAI 2015, 29.