Symbolic Dynamic Programming for First-order MDPs. (2001)

by C Boutilier, R Reiter, B Price
Venue:In Proceedings IJCAI-01.