An algorithm that iteratively updates zone values until convergence, propagating threat backward from the goal.