@inproceedings{f5a1586a98a546a3bc7732e3cfeab7b5,
title = "A Novel Parsing-based Approach for Verification of Hierarchical Plans",
abstract = "Hierarchical Task Networks were proposed as a method to describe plans by decomposition of tasks to subtasks until primitive tasks, actions, are obtained. Valid plans-sequences of actions-must adhere both to causal dependencies between the actions and to the structure given by the decomposition of the goal task. Plan verification aims at finding if a given plan is valid, that is, if it is causally consistent and it can be obtained by decomposition of some task. The paper describes a novel parsing-based approach for hierarchical plan verification that is orders of magnitude faster than existing methods.",
keywords = "attribute grammars, hierarchical task networks, parsing, plan verification",
author = "Roman Bartak and Simona Ondrckova and Adrien Maillard and Gregor Behnke and Pascal Bercher",
note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 32nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2020 ; Conference date: 09-11-2020 Through 11-11-2020",
year = "2020",
month = nov,
doi = "10.1109/ICTAI50040.2020.00029",
language = "English",
series = "Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI",
publisher = "IEEE Computer Society",
pages = "118--125",
editor = "Miltos Alamaniotis and Shimei Pan",
booktitle = "Proceedings - IEEE 32nd International Conference on Tools with Artificial Intelligence, ICTAI 2020",
address = "United States",
}