1. Behnke G, Bercher P, Kraus M, Schiller M, Mickeleit K, Häge T, Dorna M, Dambier M, Minker W, Glimm B, Biundo S (2020) New developments for Robert—assisting novice users even better in DIY projects. In: ICAPS. AAAI Press, pp. 343–347
2. Behnke G, Biundo S (2018) X and more parallelism: integrating LTL-next into SAT-based planning with trajectory constraints while allowing for even more parallelism. Intell Artif 21(62):75–90
3. Behnke G, Höller D, Bercher P, Biundo S (2016) Change the plan—how hard can that be? In: ICAPS. AAAI Press, pp 38–46
4. Behnke G, Höller D, Biundo S (2015) On the complexity of HTN plan verification and its implications for plan recognition. In: ICAPS. AAAI Press, pp 25–33
5. Behnke G, Höller D, Biundo S (2019) Bringing order to chaos–a compact representation of partial order in SAT-based HTN planning. In: AAAI. AAAI Press, pp 7520–7529