@InProceedings{Lin2022LTLExpressivity,
  author                    = {Songtuan Lin and Pascal Bercher},
  booktitle                 = {Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022)},
  title                     = {On the Expressive Power of Planning Formalisms in Conjunction with LTL},
  year                      = {2022},
  pages                     = {231--240},
  publisher                 = {AAAI Press},
  abstract                  = {Linear Temporal Logic (LTL) has been widely employed in various planning formalisms, e.g., in the STRIPS formalism, in order to specify constraints over state trajectories in a planning problem. In this paper, we investigate the expressive power of two planning formalisms in conjunction with LTL that are most commonly seen in non-hierarchical planning and hierarchical planning respectively, namely the STRIPS formalism and the Hierarchical Task Network (HTN) formalism. We do so by interpreting the set of all solutions to a planning problem as a formal language and comparing it with other formal ones, e.g., star-free languages. Our results provide an in-depth insight into the theoretical properties of the investigated planning formalisms and henceforth explore the common structure shared by solutions to planning problems in certain planning formalisms.},
  doi                       = {10.1609/icaps.v32i1.19806},
  url_Paper                 = {https://bercher.net/publications/2022/Lin2022LTLExpressivity.pdf},
  url_Poster                = {https://bercher.net/publications/2022/Lin2022LTLExpressivityPoster.pdf},
  url_Slides                = {https://bercher.net/publications/2022/Lin2022LTLExpressivitySlides.pdf},
  url_video_of_presentation = {http://icaps22.icaps-conference.org/papers/49/index.html},
  keywords                  = {conference}
}

{"_id":"7AWNrCHtQ4QBGSq7A","bibbaseid":"lin-bercher-ontheexpressivepowerofplanningformalismsinconjunctionwithltl-2022","author_short":["Lin, S.","Bercher, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Songtuan"],"propositions":[],"lastnames":["Lin"],"suffixes":[]},{"firstnames":["Pascal"],"propositions":[],"lastnames":["Bercher"],"suffixes":[]}],"booktitle":"Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022)","title":"On the Expressive Power of Planning Formalisms in Conjunction with LTL","year":"2022","pages":"231–240","publisher":"AAAI Press","abstract":"Linear Temporal Logic (LTL) has been widely employed in various planning formalisms, e.g., in the STRIPS formalism, in order to specify constraints over state trajectories in a planning problem. In this paper, we investigate the expressive power of two planning formalisms in conjunction with LTL that are most commonly seen in non-hierarchical planning and hierarchical planning respectively, namely the STRIPS formalism and the Hierarchical Task Network (HTN) formalism. We do so by interpreting the set of all solutions to a planning problem as a formal language and comparing it with other formal ones, e.g., star-free languages. Our results provide an in-depth insight into the theoretical properties of the investigated planning formalisms and henceforth explore the common structure shared by solutions to planning problems in certain planning formalisms.","doi":"10.1609/icaps.v32i1.19806","url_paper":"https://bercher.net/publications/2022/Lin2022LTLExpressivity.pdf","url_poster":"https://bercher.net/publications/2022/Lin2022LTLExpressivityPoster.pdf","url_slides":"https://bercher.net/publications/2022/Lin2022LTLExpressivitySlides.pdf","url_video_of_presentation":"http://icaps22.icaps-conference.org/papers/49/index.html","keywords":"conference","bibtex":"@InProceedings{Lin2022LTLExpressivity,\n author = {Songtuan Lin and Pascal Bercher},\n booktitle = {Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022)},\n title = {On the Expressive Power of Planning Formalisms in Conjunction with LTL},\n year = {2022},\n pages = {231--240},\n publisher = {AAAI Press},\n abstract = {Linear Temporal Logic (LTL) has been widely employed in various planning formalisms, e.g., in the STRIPS formalism, in order to specify constraints over state trajectories in a planning problem. In this paper, we investigate the expressive power of two planning formalisms in conjunction with LTL that are most commonly seen in non-hierarchical planning and hierarchical planning respectively, namely the STRIPS formalism and the Hierarchical Task Network (HTN) formalism. We do so by interpreting the set of all solutions to a planning problem as a formal language and comparing it with other formal ones, e.g., star-free languages. Our results provide an in-depth insight into the theoretical properties of the investigated planning formalisms and henceforth explore the common structure shared by solutions to planning problems in certain planning formalisms.},\n doi = {10.1609/icaps.v32i1.19806},\n url_Paper = {https://bercher.net/publications/2022/Lin2022LTLExpressivity.pdf},\n url_Poster = {https://bercher.net/publications/2022/Lin2022LTLExpressivityPoster.pdf},\n url_Slides = {https://bercher.net/publications/2022/Lin2022LTLExpressivitySlides.pdf},\n url_video_of_presentation = {http://icaps22.icaps-conference.org/papers/49/index.html},\n keywords = {conference}\n}\n\n","author_short":["Lin, S.","Bercher, P."],"key":"Lin2022LTLExpressivity","id":"Lin2022LTLExpressivity","bibbaseid":"lin-bercher-ontheexpressivepowerofplanningformalismsinconjunctionwithltl-2022","role":"author","urls":{" paper":"https://bercher.net/publications/2022/Lin2022LTLExpressivity.pdf"," poster":"https://bercher.net/publications/2022/Lin2022LTLExpressivityPoster.pdf"," slides":"https://bercher.net/publications/2022/Lin2022LTLExpressivitySlides.pdf"," video of presentation":"http://icaps22.icaps-conference.org/papers/49/index.html"},"keyword":["conference"],"metadata":{"authorlinks":{}},"downloads":21},"bibtype":"inproceedings","biburl":"https://bercher.net/bibtex/bibliography.bib","dataSources":["zKgS72cAu6Ez7npdh","WvkzCyK6mKXCp2WFz","rta5EvLvgMEDFTyZk","bPpsmYWjffAy6QHP5","wYF8yPQT6a4TgShWe"],"keywords":["conference"],"search_terms":["expressive","power","planning","formalisms","conjunction","ltl","lin","bercher"],"title":"On the Expressive Power of Planning Formalisms in Conjunction with LTL","year":2022,"downloads":22}