A Novel Parsing-based Approach for Verification of Hierarchical Plans.

Roman Bartk, Simona Ondrckov, Adrien Maillard, Gregor Behnke, Pascal Bercher

Browse the full ICTAI paper archive.