B.: Symbolic dynamic programming for first-order MDPs (2001)

by C Boutilier, R Reiter, Price
Venue:In: Proc. 17th International Joint Conference on Artificial Intelligence (IJCAI-01