@InProceedings{Ondrckova2023GroundingInVerification,
  author                 = {Simona Ondr\v{c}kov\'{a} and Roman Bart{\'a}k and Pascal Bercher and Gregor Behnke},
  booktitle              = {Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART 2023)},
  title                  = {On the Impact of Grounding on HTN Plan Verification via Parsing},
  year                   = {2023},
  pages                  = {92--99},
  publisher              = {SciTePress},
  abstract               = {The problem of hierarchical plan verification focuses on checking whether an action sequence is a valid hierarchical plan - the action sequence is executable and a goal task can be decomposed into it. The existing parsing-based verifier works on lifted domain models. In this paper we study whether grounding of the models could improve efficiency of the verifier. We also explore additional implementation improvements to increase the speed of the verifier},
  url_Paper              = {https://bercher.net/publications/2023/Ondrckova2023GroundingInVerification.pdf},
  url_Paper-by-Publisher = {https://www.scitepress.org/PublicationsDetail.aspx?ID=gmWzZ9pf1D4=&t=1},
  keywords               = {conference}
}

{"_id":"muMXtjFJHM9jpa7BF","bibbaseid":"ondrkov-bartk-bercher-behnke-ontheimpactofgroundingonhtnplanverificationviaparsing-2023","author_short":["Ondrčková, S.","Barták, R.","Bercher, P.","Behnke, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Simona"],"propositions":[],"lastnames":["Ondrčková"],"suffixes":[]},{"firstnames":["Roman"],"propositions":[],"lastnames":["Barták"],"suffixes":[]},{"firstnames":["Pascal"],"propositions":[],"lastnames":["Bercher"],"suffixes":[]},{"firstnames":["Gregor"],"propositions":[],"lastnames":["Behnke"],"suffixes":[]}],"booktitle":"Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART 2023)","title":"On the Impact of Grounding on HTN Plan Verification via Parsing","year":"2023","pages":"92–99","publisher":"SciTePress","abstract":"The problem of hierarchical plan verification focuses on checking whether an action sequence is a valid hierarchical plan - the action sequence is executable and a goal task can be decomposed into it. The existing parsing-based verifier works on lifted domain models. In this paper we study whether grounding of the models could improve efficiency of the verifier. We also explore additional implementation improvements to increase the speed of the verifier","url_paper":"https://bercher.net/publications/2023/Ondrckova2023GroundingInVerification.pdf","url_paper-by-publisher":"https://www.scitepress.org/PublicationsDetail.aspx?ID=gmWzZ9pf1D4=&t=1","keywords":"conference","bibtex":"@InProceedings{Ondrckova2023GroundingInVerification,\n author = {Simona Ondr\\v{c}kov\\'{a} and Roman Bart{\\'a}k and Pascal Bercher and Gregor Behnke},\n booktitle = {Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART 2023)},\n title = {On the Impact of Grounding on HTN Plan Verification via Parsing},\n year = {2023},\n pages = {92--99},\n publisher = {SciTePress},\n abstract = {The problem of hierarchical plan verification focuses on checking whether an action sequence is a valid hierarchical plan - the action sequence is executable and a goal task can be decomposed into it. The existing parsing-based verifier works on lifted domain models. In this paper we study whether grounding of the models could improve efficiency of the verifier. We also explore additional implementation improvements to increase the speed of the verifier},\n url_Paper = {https://bercher.net/publications/2023/Ondrckova2023GroundingInVerification.pdf},\n url_Paper-by-Publisher = {https://www.scitepress.org/PublicationsDetail.aspx?ID=gmWzZ9pf1D4=&t=1},\n keywords = {conference}\n}\n\n","author_short":["Ondrčková, S.","Barták, R.","Bercher, P.","Behnke, G."],"key":"Ondrckova2023GroundingInVerification","id":"Ondrckova2023GroundingInVerification","bibbaseid":"ondrkov-bartk-bercher-behnke-ontheimpactofgroundingonhtnplanverificationviaparsing-2023","role":"author","urls":{" paper":"https://bercher.net/publications/2023/Ondrckova2023GroundingInVerification.pdf"," paper-by-publisher":"https://www.scitepress.org/PublicationsDetail.aspx?ID=gmWzZ9pf1D4=&t=1"},"keyword":["conference"],"metadata":{"authorlinks":{}},"downloads":9},"bibtype":"inproceedings","biburl":"https://bercher.net/bibtex/bibliography.bib","dataSources":["zKgS72cAu6Ez7npdh","bPpsmYWjffAy6QHP5","wYF8yPQT6a4TgShWe"],"keywords":["conference"],"search_terms":["impact","grounding","htn","plan","verification","via","parsing","ondrčková","barták","bercher","behnke"],"title":"On the Impact of Grounding on HTN Plan Verification via Parsing","year":2023,"downloads":9}