Categories
recording

On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition