Practical solution techniques for first-order MDPs
scientific article; zbMATH DE number 5600154
scientific article