Scott Sanner, Kristian Kersting: Symbolic Dynamic Programming. Encyclopedia of Machine Learning and Data Mining 2017: 1220-1228