Symbolic perimeter abstraction heuristics for cost-optimal planning
scientific article; zbMATH DE number 6894611
scientific article