@InProceedings{Hoeller2021VerificationViaPlanning,
  author     = {Daniel H\"oller and Julia Wichlacz and Pascal Bercher and Gregor Behnke},
  title      = {Compiling HTN Plan Verification Problems to HTN Planning Problems},
  booktitle  = {Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021)},
  year       = {2021},
  pages      = {8--15},
  abstract   = {Plan Verification is the task of deciding whether a sequence of actions is a solution for a given planning problem. In HTN planning, the task is computationally expensive and may be up to NP-hard. However, there are situations where it needs to be solved, e.g. when a solution is post-processed, in systems using approximation, or just to validate whether a planning system works correctly (e.g. for debugging or in a competition). In the literature, there are verification systems based on translations to propositional logic and based on techniques from parsing. Here we present a third approach and translate plan verification problems to HTN planning problems. These can be solved using any HTN planning system. We test our solver on the set of solutions from the 2020 International Planning Competition. Our evaluation is yet preliminary, because it does not include all systems from the literature, but it already shows that our approach performs well compared with the included systems.},
  url_Paper  = {https://bercher.net/publications/2021/Hoeller2021VerificationViaCompilation.pdf},
  keywords   = {workshop}
}

{"_id":"s7jrAGvRmkRDLsGD5","bibbaseid":"hller-wichlacz-bercher-behnke-compilinghtnplanverificationproblemstohtnplanningproblems-2021","author_short":["Höller, D.","Wichlacz, J.","Bercher, P.","Behnke, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Höller"],"suffixes":[]},{"firstnames":["Julia"],"propositions":[],"lastnames":["Wichlacz"],"suffixes":[]},{"firstnames":["Pascal"],"propositions":[],"lastnames":["Bercher"],"suffixes":[]},{"firstnames":["Gregor"],"propositions":[],"lastnames":["Behnke"],"suffixes":[]}],"title":"Compiling HTN Plan Verification Problems to HTN Planning Problems","booktitle":"Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021)","year":"2021","pages":"8–15","abstract":"Plan Verification is the task of deciding whether a sequence of actions is a solution for a given planning problem. In HTN planning, the task is computationally expensive and may be up to NP-hard. However, there are situations where it needs to be solved, e.g. when a solution is post-processed, in systems using approximation, or just to validate whether a planning system works correctly (e.g. for debugging or in a competition). In the literature, there are verification systems based on translations to propositional logic and based on techniques from parsing. Here we present a third approach and translate plan verification problems to HTN planning problems. These can be solved using any HTN planning system. We test our solver on the set of solutions from the 2020 International Planning Competition. Our evaluation is yet preliminary, because it does not include all systems from the literature, but it already shows that our approach performs well compared with the included systems.","url_paper":"https://bercher.net/publications/2021/Hoeller2021VerificationViaCompilation.pdf","keywords":"workshop","bibtex":"@InProceedings{Hoeller2021VerificationViaPlanning,\n author = {Daniel H\\\"oller and Julia Wichlacz and Pascal Bercher and Gregor Behnke},\n title = {Compiling HTN Plan Verification Problems to HTN Planning Problems},\n booktitle = {Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021)},\n year = {2021},\n pages = {8--15},\n abstract = {Plan Verification is the task of deciding whether a sequence of actions is a solution for a given planning problem. In HTN planning, the task is computationally expensive and may be up to NP-hard. However, there are situations where it needs to be solved, e.g. when a solution is post-processed, in systems using approximation, or just to validate whether a planning system works correctly (e.g. for debugging or in a competition). In the literature, there are verification systems based on translations to propositional logic and based on techniques from parsing. Here we present a third approach and translate plan verification problems to HTN planning problems. These can be solved using any HTN planning system. We test our solver on the set of solutions from the 2020 International Planning Competition. Our evaluation is yet preliminary, because it does not include all systems from the literature, but it already shows that our approach performs well compared with the included systems.},\n url_Paper = {https://bercher.net/publications/2021/Hoeller2021VerificationViaCompilation.pdf},\n keywords = {workshop}\n}\n\n","author_short":["Höller, D.","Wichlacz, J.","Bercher, P.","Behnke, G."],"key":"Hoeller2021VerificationViaPlanning","id":"Hoeller2021VerificationViaPlanning","bibbaseid":"hller-wichlacz-bercher-behnke-compilinghtnplanverificationproblemstohtnplanningproblems-2021","role":"author","urls":{" paper":"https://bercher.net/publications/2021/Hoeller2021VerificationViaCompilation.pdf"},"keyword":["workshop"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bercher.net/bibtex/bibliography.bib","dataSources":["jTtEZEw8NJc375xGA","bPpsmYWjffAy6QHP5","wYF8yPQT6a4TgShWe"],"keywords":["workshop"],"search_terms":["compiling","htn","plan","verification","problems","htn","planning","problems","höller","wichlacz","bercher","behnke"],"title":"Compiling HTN Plan Verification Problems to HTN Planning Problems","year":2021}