Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans

Verification of hierarchical plans deals with the problem of whether an action sequence is causally consistent and can be obtained by a decomposition of a goal task. This second sub-problem (finding the decomposition) makes the verification problem NP-hard. The task decomposition structure is very c...

Full description

Bibliographic Details

Published in:	Proceedings of the International Florida Artificial Intelligence Research Society Conference
Main Authors:	Simona Ondrčková, Roman Barták, Pascal Bercher, Gregor Behnke
Format:	Article
Language:	English
Published:	LibraryPress@UF 2023-05-01
Subjects:	hierarchical planning parsing hierarchical plan verification plan verification
Online Access:	https://journals.flvc.org/FLAIRS/article/view/133196