Malte Helmert
Universität Basel
H-index: 47
Europe-Switzerland
Top articles of Malte Helmert
Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning
Proceedings of the AAAI Conference on Artificial Intelligence
2024/3/24
Malte Helmert
H-Index: 31
Formal Representations of Classical Planning Domains
2024
Gabriele Röger
H-Index: 13
Malte Helmert
H-Index: 31
On the Computational Complexity of Plan Verification,(Bounded) Plan-Optimality Verification, and Bounded Plan Existence
Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
2024
Malte Helmert
H-Index: 31
Pascal Bercher
H-Index: 19
Landmark progression in heuristic search
Proceedings of the International Conference on Automated Planning and Scheduling
2023/7/1
Planning over integers: Compilations and undecidability
Proceedings of the International Conference on Automated Planning and Scheduling
2023/7/1
Computing domain abstractions for optimal classical planning with counterexample-guided abstraction refinement
Proceedings of the International Conference on Automated Planning and Scheduling
2023/7/1
Silvan Sievers
H-Index: 11
Malte Helmert
H-Index: 31
Grounding planning tasks using tree decompositions and iterated solving
Proceedings of the International Conference on Automated Planning and Scheduling
2023
Markus Hecher
H-Index: 10
Malte Helmert
H-Index: 31
Davide Mario Longo
H-Index: 2
Florian Pommerening
H-Index: 11
On Producing Shortest Cost-Optimal Plans
Proceedings of the International Symposium on Combinatorial Search
2022/7/17
Gabriele Röger
H-Index: 13
Malte Helmert
H-Index: 31
The FF heuristic for lifted classical planning
2022
Florian Pommerening
H-Index: 11
Malte Helmert
H-Index: 31
Detecting unsolvability based on separating functions
2022
Neural network heuristic functions for classical planning: Bootstrapping and comparison to other methods
Proceedings of the International Conference on Automated Planning and Scheduling
2022/6/13
On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond
Proceedings of the International Conference on Automated Planning and Scheduling
2022/6/13
A Comparison of Abstraction Heuristics for Rubik's Cube
2022/4/11
Merge-and-shrink: A compositional theory of transformations of factored transition systems
Journal of Artificial Intelligence Research
2021/8/12
Silvan Sievers
H-Index: 11
Malte Helmert
H-Index: 31
Saturated post-hoc optimization for classical planning
Proceedings of the AAAI Conference on Artificial Intelligence
2021/5/18
Exploiting Cyclic Dependencies in Landmark Heuristics
Proceedings of the International Conference on Automated Planning and Scheduling
2021/5/17
Thomas Keller
H-Index: 30
Malte Helmert
H-Index: 31
Dantzig-Wolfe decomposition for cost partitioning
Proceedings of the International Conference on Automated Planning and Scheduling
2021/5/17
Delete-relaxation heuristics for lifted classical planning
2021/5/17
Florian Pommerening
H-Index: 11
Malte Helmert
H-Index: 31
Lagrangian decomposition for classical planning
2020
Florian Pommerening
H-Index: 11
Gabriele Röger
H-Index: 13
Malte Helmert
H-Index: 31
Domenico Salvagnin
H-Index: 16
Co-Authors
