BibTeX record conf/aips/HollerWBB22

• > Home > conf/aips/HollerWBB22

@inproceedings{DBLP:conf/aips/HollerWBB22,
  author       = {Daniel H{\"{o}}ller and
                  Julia Wichlacz and
                  Pascal Bercher and
                  Gregor Behnke},
  editor       = {Akshat Kumar and
                  Sylvie Thi{\'{e}}baux and
                  Pradeep Varakantham and
                  William Yeoh},
  title        = {Compiling {HTN} Plan Verification Problems into {HTN} Planning Problems},
  booktitle    = {Proceedings of the Thirty-Second International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
                  2022},
  pages        = {145--150},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/19795},
  timestamp    = {Wed, 20 Jul 2022 14:27:38 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/HollerWBB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}