@InProceedings{Lin2024PlanVerificationComplexity,
  author    = {Songtuan Lin and Conny Olz and Malte Helmert and Pascal Bercher},
  booktitle = {Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)},
  title     = {On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence},
  year      = {2024},
  publisher = {AAAI Press},
  doi       = {10.1609/aaai.v38i18.30000},
  abstract  = {In this paper we study the computational complexity of several reasoning tasks centered around the bounded plan existence problem. We do this for standard classical planning and hierarchical task network (HTN) planning and each for a grounded and a lifted representation. Whereas bounded plan existence complexity is known for classical planning, it has not yet been studied for HTN planning. For plan verification, results were available for both formalisms except for the lifted HTN planning. We will present lower and upper bounds of the complexity of plan verification in lifted HTN planning and provide some new insights into its grounded counterpart, in which we show that verification is not just NP-complete in the general case, but already for a severely restricted special case. Finally, we show the complexity concerning verifying the optimality of a given plan and discuss its connection to the bounded plan existence problem.},
  pages      = {20203--20211},
  url_Paper  = {https://bercher.net/publications/2024/Lin2024PlanVerificationComplexity.pdf},
  url_Paper_AAAI = {https://ojs.aaai.org/index.php/AAAI/article/view/30000/31754},
  url_Poster = {https://bercher.net/publications/2024/Lin2024PlanVerificationComplexityPoster.pdf},
  url_Slides = {https://bercher.net/publications/2024/Lin2024PlanVerificationComplexitySlides.pdf},
  keywords   = {conference}
}

{"_id":"KK5ixByMXKrEuGL7G","bibbaseid":"lin-olz-helmert-bercher-onthecomputationalcomplexityofplanverificationboundedplanoptimalityverificationandboundedplanexistence-2024","author_short":["Lin, S.","Olz, C.","Helmert, M.","Bercher, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Songtuan"],"propositions":[],"lastnames":["Lin"],"suffixes":[]},{"firstnames":["Conny"],"propositions":[],"lastnames":["Olz"],"suffixes":[]},{"firstnames":["Malte"],"propositions":[],"lastnames":["Helmert"],"suffixes":[]},{"firstnames":["Pascal"],"propositions":[],"lastnames":["Bercher"],"suffixes":[]}],"booktitle":"Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)","title":"On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence","year":"2024","publisher":"AAAI Press","doi":"10.1609/aaai.v38i18.30000","abstract":"In this paper we study the computational complexity of several reasoning tasks centered around the bounded plan existence problem. We do this for standard classical planning and hierarchical task network (HTN) planning and each for a grounded and a lifted representation. Whereas bounded plan existence complexity is known for classical planning, it has not yet been studied for HTN planning. For plan verification, results were available for both formalisms except for the lifted HTN planning. We will present lower and upper bounds of the complexity of plan verification in lifted HTN planning and provide some new insights into its grounded counterpart, in which we show that verification is not just NP-complete in the general case, but already for a severely restricted special case. Finally, we show the complexity concerning verifying the optimality of a given plan and discuss its connection to the bounded plan existence problem.","pages":"20203–20211","url_paper":"https://bercher.net/publications/2024/Lin2024PlanVerificationComplexity.pdf","url_paper_aaai":"https://ojs.aaai.org/index.php/AAAI/article/view/30000/31754","url_poster":"https://bercher.net/publications/2024/Lin2024PlanVerificationComplexityPoster.pdf","url_slides":"https://bercher.net/publications/2024/Lin2024PlanVerificationComplexitySlides.pdf","keywords":"conference","bibtex":"@InProceedings{Lin2024PlanVerificationComplexity,\n author = {Songtuan Lin and Conny Olz and Malte Helmert and Pascal Bercher},\n booktitle = {Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)},\n title = {On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence},\n year = {2024},\n publisher = {AAAI Press},\n doi = {10.1609/aaai.v38i18.30000},\n abstract = {In this paper we study the computational complexity of several reasoning tasks centered around the bounded plan existence problem. We do this for standard classical planning and hierarchical task network (HTN) planning and each for a grounded and a lifted representation. Whereas bounded plan existence complexity is known for classical planning, it has not yet been studied for HTN planning. For plan verification, results were available for both formalisms except for the lifted HTN planning. We will present lower and upper bounds of the complexity of plan verification in lifted HTN planning and provide some new insights into its grounded counterpart, in which we show that verification is not just NP-complete in the general case, but already for a severely restricted special case. Finally, we show the complexity concerning verifying the optimality of a given plan and discuss its connection to the bounded plan existence problem.},\n pages = {20203--20211},\n url_Paper = {https://bercher.net/publications/2024/Lin2024PlanVerificationComplexity.pdf},\n url_Paper_AAAI = {https://ojs.aaai.org/index.php/AAAI/article/view/30000/31754},\n url_Poster = {https://bercher.net/publications/2024/Lin2024PlanVerificationComplexityPoster.pdf},\n url_Slides = {https://bercher.net/publications/2024/Lin2024PlanVerificationComplexitySlides.pdf},\n keywords = {conference}\n}\n\n","author_short":["Lin, S.","Olz, C.","Helmert, M.","Bercher, P."],"key":"Lin2024PlanVerificationComplexity","id":"Lin2024PlanVerificationComplexity","bibbaseid":"lin-olz-helmert-bercher-onthecomputationalcomplexityofplanverificationboundedplanoptimalityverificationandboundedplanexistence-2024","role":"author","urls":{" paper":"https://bercher.net/publications/2024/Lin2024PlanVerificationComplexity.pdf"," paper aaai":"https://ojs.aaai.org/index.php/AAAI/article/view/30000/31754"," poster":"https://bercher.net/publications/2024/Lin2024PlanVerificationComplexityPoster.pdf"," slides":"https://bercher.net/publications/2024/Lin2024PlanVerificationComplexitySlides.pdf"},"keyword":["conference"],"metadata":{"authorlinks":{}},"downloads":49},"bibtype":"inproceedings","biburl":"https://bercher.net/bibtex/bibliography.bib","dataSources":["zKgS72cAu6Ez7npdh","rta5EvLvgMEDFTyZk","sjPNkpyhvwaEdytSD","bPpsmYWjffAy6QHP5","wYF8yPQT6a4TgShWe"],"keywords":["conference"],"search_terms":["computational","complexity","plan","verification","bounded","plan","optimality","verification","bounded","plan","existence","lin","olz","helmert","bercher"],"title":"On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence","year":2024,"downloads":49}