Paper accepted at KR-16
We consider the question of how generalized plans (plans with loops) can be deemed correct in unbounded and continuous domains.
Paper accepted at KR-16
We consider the question of how generalized plans (plans with loops) can be deemed correct in unbounded and continuous domains.