Publikationen
Vollständige Liste der Publikationen
Aktuelle Veröffentlichungen (letzte 12 Monate):
(Alle Abstracts einblenden) (Alle Abstracts ausblenden)
-
David Speck und Jendrik Seipp.
New Refinement Strategies for Cartesian Abstractions.
In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). 2022.
(Abstract einblenden) (PDF)
-
Julian von Tschammer, Robert Mattmüller und David Speck.
Loopless Top-k Planning.
In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). 2022.
(Abstract einblenden) (PDF)
-
David Speck.
Symbolic Search for Optimal Planning with Expressive Extensions.
FreiDok plus 2022.
PhD Thesis.
(Abstract einblenden) (PDF)
-
Roman Barták, Simona Ondrčková, Gregor Behnke und 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 und 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 und Pascal Bercher.
On the Verification of Totally-Ordered HTN Plans.
In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning, S. 44-48. 2021.
(PDF)
-
Daniel Höller, Julia Whichlacz, Pascal Bercher und Gregor Behnke.
Compiling HTN Plan Verification Problems into HTN Planning Problems.
In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning, S. 8-15. 2021.
(PDF)