@inproceedings{BehnkeICAPS17,
   title = {This is a solution! (\dots but is it though?) -- Verifying solutions of hierarchical planning problems},
   author = {Gregor Behnke and Daniel H{\"{o}}ller and Susanne Biundo},
   booktitle = {Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS)},
   publisher = {{AAAI} Press},
   pages = {20--28},
   year = {2017}
}