@inproceedings{DBLP:conf/aips/BehnkeHB17,
  author    = {Gregor Behnke and
               Daniel H{\"{o}}ller and
               Susanne Biundo},
  editor    = {Laura Barbulescu and
               Jeremy Frank and
               Mausam and
               Stephen F. Smith},
  title     = {This Is a Solution! {(...} But Is It Though?) - Verifying Solutions
               of Hierarchical Planning Problems},
  booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
               Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
               June 18-23, 2017},
  pages     = {20--28},
  publisher = {{AAAI} Press},
  year      = {2017},
  url       = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15720},
  timestamp = {Tue, 26 Sep 2017 07:30:03 +0200},
  biburl    = {https://dblp.org/rec/conf/aips/BehnkeHB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"BnNobaZcDhsBBS3LP","bibbaseid":"behnke-hller-biundo-thisisasolutionbutisitthoughverifyingsolutionsofhierarchicalplanningproblems-2017","authorIDs":["WEh8ZoA2fqemFAtAj","YGnWJyGWcR9pxijqc","xtiSRBeiTo7R7MSMn"],"author_short":["Behnke, G.","Höller, D.","Biundo, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gregor"],"propositions":[],"lastnames":["Behnke"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Höller"],"suffixes":[]},{"firstnames":["Susanne"],"propositions":[],"lastnames":["Biundo"],"suffixes":[]}],"editor":[{"firstnames":["Laura"],"propositions":[],"lastnames":["Barbulescu"],"suffixes":[]},{"firstnames":["Jeremy"],"propositions":[],"lastnames":["Frank"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["Mausam"],"suffixes":[]},{"firstnames":["Stephen","F."],"propositions":[],"lastnames":["Smith"],"suffixes":[]}],"title":"This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems","booktitle":"Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017","pages":"20–28","publisher":"AAAI Press","year":"2017","url":"https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15720","timestamp":"Tue, 26 Sep 2017 07:30:03 +0200","biburl":"https://dblp.org/rec/conf/aips/BehnkeHB17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aips/BehnkeHB17,\n author = {Gregor Behnke and\n Daniel H{\\\"{o}}ller and\n Susanne Biundo},\n editor = {Laura Barbulescu and\n Jeremy Frank and\n Mausam and\n Stephen F. Smith},\n title = {This Is a Solution! {(...} But Is It Though?) - Verifying Solutions\n of Hierarchical Planning Problems},\n booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated\n Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,\n June 18-23, 2017},\n pages = {20--28},\n publisher = {{AAAI} Press},\n year = {2017},\n url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15720},\n timestamp = {Tue, 26 Sep 2017 07:30:03 +0200},\n biburl = {https://dblp.org/rec/conf/aips/BehnkeHB17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Behnke, G.","Höller, D.","Biundo, S."],"editor_short":["Barbulescu, L.","Frank, J.","Mausam","Smith, S. F."],"key":"DBLP:conf/aips/BehnkeHB17","id":"DBLP:conf/aips/BehnkeHB17","bibbaseid":"behnke-hller-biundo-thisisasolutionbutisitthoughverifyingsolutionsofhierarchicalplanningproblems-2017","role":"author","urls":{"Paper":"https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15720"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/150/5955.bib","creationDate":"2020-04-16T06:31:03.872Z","downloads":0,"keywords":[],"search_terms":["solution","though","verifying","solutions","hierarchical","planning","problems","behnke","höller","biundo"],"title":"This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems","year":2017,"dataSources":["GEcCYSyjitjDHeMJm"]}