Uni-Logo

Publications

Complete list of publications

Recent publications (last 12 months):

(Show all abstracts) (Hide all abstracts)

  • David Speck and Jendrik Seipp.
    New Refinement Strategies for Cartesian Abstractions.
    In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). 2022.
    (Show abstract) (PDF)

  • Julian von Tschammer, Robert Mattmüller and David Speck.
    Loopless Top-k Planning.
    In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). 2022.
    (Show abstract) (PDF)

  • David Speck.
    Symbolic Search for Optimal Planning with Expressive Extensions.
    FreiDok plus 2022.
    PhD Thesis.
    (Show abstract) (PDF)

  • Roman Barták, Simona Ondrčková, Gregor Behnke and Pascal Bercher.
    Correcting Hierarchical Plans by Action Deletion.
    In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR-2021). 2021.
    (PDF)

  • Roman Barták, Simona Ondrčková, Gregor Behnke and Pascal Bercher.
    Correcting Hierarchical Plans by Action Deletion.
    In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning. 2021.
    (PDF)

  • Roman Barták, Simona Ondrčková, Gregor Behnke and Pascal Bercher.
    On the Verification of Totally-Ordered HTN Plans.
    In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning, pp. 44-48. 2021.
    (PDF)

  • Daniel Höller, Julia Whichlacz, Pascal Bercher and Gregor Behnke.
    Compiling HTN Plan Verification Problems into HTN Planning Problems.
    In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning, pp. 8-15. 2021.
    (PDF)