ID
|
Author
|
Year
|
Title
|
Publisher
|
4662200 |
Katz, Michael; Röger, Gabriele; Helmert, Malte |
2022 |
On Producing Shortest Cost-Optimal Plans |
Proceedings of the Fifteenth International Symposium on Combinatorial Search (SoCS 2022) |
4661913 |
Klößner, Thorsten; Pommerening, Florian; Keller, Thomas; Röger, Gabriele |
2022 |
Cost Partitioning Heuristics for Stochastic Shortest Path Problems |
Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022) |
4597218 |
Pommerening, Florian; Röger, Gabriele; Helmert, Malte; Cambazard, Hadrien; Rousseau, Louis-Martin; Salvagnin, Domenico |
2020 |
Lagrangian Decomposition for Classical Planning (Extended Abstract) |
Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020) |
4604595 |
Röger, Gabriele; Helmert, Malte; Seipp, Jendrik; Sievers, Silvan |
2020 |
An Atom-Centric Perspective on Stubborn Sets |
Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020) |
4527423 |
Pommerening, Florian; Röger, Gabriele; Helmert, Malte; Cambazard, Hadrien; Rousseau, Louis-Martin; Salvagnin, Domenico |
2019 |
Lagrangian Decomposition for Optimal Cost Partitioning |
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019) |
4501105 |
Sievers, Silvan; Röger, Gabriele; Wehrle, Martin; Katz, Michael |
2019 |
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks |
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019) |
4481796 |
Eriksson, Salomé; Röger, Gabriele; Helmert, Malte |
2018 |
Inductive Certificates of Unsolvability for Domain-Independent Planning |
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence |
4405932 |
Röger, Gabriele; Sievers, Silvan; Katz, Michael |
2018 |
Symmetry-based Task Reduction for Relaxed Reachability Analysis |
Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018) |
4480861 |
Eriksson, Salomé; Röger, Gabriele; Helmert, Malte |
2018 |
A Proof System for Unsolvable Planning Tasks |
Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018) |
4244048 |
Paul, Gerald; Röger, Gabriele; Keller, Thomas; Helmert, Malte |
2017 |
Optimal Solutions to Large Logistics Planning Domain Problems |
Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017) |
3767786 |
Eriksson, Salomé; Röger, Gabriele; Helmert, Malte |
2017 |
Unsolvability Certificates for Classical Planning |
Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017) |
4486052 |
Röger, Gabriele |
2017 |
Towards Certified Unsolvability in Classical Planning |
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence |
3677485 |
Seipp, Jendrik; Pommerening, Florian; Röger, Gabriele; Helmert, Malte |
2016 |
Correlation Complexity of Classical Planning Domains |
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) |
3249109 |
Pommerening, Florian; Röger, Gabriele; Helmert, Malte; Bonet, Blai |
2015 |
Heuristics for cost-optimal classical planning based on linear programming |
Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) |
2770024 |
Röger, Gabriele; Pommerening, Florian |
2015 |
Linear programming for heuristics in optimal planning |
Planning, Search, and Optimization : papers from the 2015 AAAI Workshop ; Austin, Jan. 25-26, 2015 |
2790153 |
Pommerening, Florian; Helmert, Malte; Röger, Gabriele; Seipp, Jendrik |
2015 |
From non-negative to general operator cost partitioning |
Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA |
3249078 |
Helmert, Malte; Röger, Gabriele; Sievers, Silvan |
2015 |
On the expressive power of non-linear Merge-and-Shrink representations |
Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015) |
3249098 |
Simon, Salomé; Röger, Gabriele |
2015 |
Finding and Exploiting LTL Trajectory Constraints in Heuristic Search |
Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015) |