GitHub repository: siprog/PlanVerifierGrounding
Primary language: C#
Description: This is the version of the plan verifier introduced in the article:  On the impact of grounding on htn plan verification via parsing by Simona Ondrčková, Roman Barták, Pascal Bercher, and Gregor Behnke ICTAI 2023