| downward-lab 2.0 J Seipp, F Pommerening, S Sievers, M Helmert | 99* | 2017 |
| Heuristics and Symmetries in Classical Planning. A Shleyfman, M Katz, M Helmert, S Sievers, M Wehrle AAAI 2015, 3371-3377, 2015 | 73 | 2015 |
| Generalized Label Reduction for Merge-and-Shrink Heuristics S Sievers, M Wehrle, M Helmert Heuristics and Search for Domain Independent Planning, 107, 2014 | 73 | 2014 |
| Automatic Configuration of Sequential Planning Portfolios. J Seipp, S Sievers, M Helmert, F Hutter AAAI, 3364-3370, 2015 | 62 | 2015 |
| Delfi: Online planner selection for cost-optimal planning M Katz, S Sohrabi, H Samulowitz, S Sievers IPC-9 planner abstracts, 57-64, 2018 | 61 | 2018 |
| Efficient Implementation of Pattern Database Heuristics for Classical Planning S Sievers, M Ortlieb, M Helmert Proceedings of the Fifth Annual Symposium on Combinatorial Search (SOCS 2012 …, 2012 | 54 | 2012 |
| An Analysis of Merge Strategies for Merge-and-Shrink Heuristics. S Sievers, M Wehrle, M Helmert ICAPS, 294-298, 2016 | 48 | 2016 |
| Deep learning for cost-optimal planning: Task-dependent planner selection S Sievers, M Katz, S Sohrabi, H Samulowitz, P Ferber Proceedings of the AAAI Conference on Artificial Intelligence 33, 7715-7723, 2019 | 47 | 2019 |
| Automatic Instance Generation for Classical Planning A Torralba, J Seipp, S Sievers Proceedings of the International Conference on Automated Planning and …, 2021 | 31 | 2021 |
| Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks S Sievers, G Röger, M Wehrle, M Katz Proc. ICAPS, 2019 | 30 | 2019 |
| Factored Symmetries for Merge-and-Shrink Abstractions. S Sievers, M Wehrle, M Helmert, A Shleyfman, M Katz AAAI, 3378-3385, 2015 | 27 | 2015 |
| Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems S Sievers, M Helmert Journal of Artificial Intelligence Research 71, 781-883, 2021 | 26 | 2021 |
| Symmetry-based task reduction for relaxed reachability analysis G Röger, S Sievers, M Katz Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018 | 25 | 2018 |
| Fast Downward Aidos J Seipp, F Pommerening, S Sievers, M Wehrle, C Fawcett, Y Alkhazraji UIPC 2016 Planner Abstracts, 28-38, 2016 | 23 | 2016 |
| Counterexample-guided abstraction refinement for pattern selection in optimal classical planning A Rovner, S Sievers, M Helmert Proceedings of the International Conference on Automated Planning and …, 2019 | 20 | 2019 |
| Merge-and-shrink heuristics for classical planning: Efficient implementation and partial abstractions S Sievers Proceedings of the 11th Annual Symposium on Combinatorial Search (SoCS 2018 …, 2018 | 19 | 2018 |
| Fast Downward Cedalion J Seipp, S Sievers, F Hutter Eighth International Planning Competition (IPC-8) Planning and Learning Part …, 2014 | 18 | 2014 |
| On the Expressive Power of Non-Linear Merge-and-Shrink Representations. M Helmert, G Röger, S Sievers ICAPS, 106-114, 2015 | 16 | 2015 |
| Metis 2018 S Sievers, M Katz IPC-9 planner abstracts, 83-84, 2018 | 12 | 2018 |
| Structural Symmetries of the Lifted Representation of Classical Planning Tasks S Sievers, G Röger, M Wehrle, M Katz ICAPS 2017 Workshop on Heuristics and Search for Domain-independent Planning …, 2017 | 11 | 2017 |
Malte HelmertProfessor of Computer Science, University of Basel在 unibas.ch 的电子邮件经过验证
