A Lazanas, JC Latombe - Artificial intelligence, 1995 - Elsevier
… a precisely defined motion planning problem with uncertainty… we mean that the planner only
generates correct plans, which … By complete, we mean that the planner returns a correct plan …