Behnke, G.; Höller, D.; Biundo, S. This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS 2017, 27, 20-28.