We consider the question of how generalized plans (plans with loops) can be deemed correct in unbounded and continuous domains.
We consider the question of how generalized plans (plans with loops) can be deemed correct in unbounded and continuous domains.