Sievers, Silvan; Helmert, Malte Merge-and-shrink: a compositional theory of transformations of factored transition systems. (English) Zbl 1519.68239 J. Artif. Intell. Res. (JAIR) 71, 781-883 (2021). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI
Seipp, Jendrik; Keller, Thomas; Helmert, Malte Saturated cost partitioning for optimal classical planning. (English) Zbl 1442.68220 J. Artif. Intell. Res. (JAIR) 67, 129-167 (2020). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI
Seipp, Jendrik; Helmert, Malte Counterexample-guided Cartesian abstraction refinement for classical planning. (English) Zbl 1448.68392 J. Artif. Intell. Res. (JAIR) 62, 535-577 (2018). MSC: 68T20 90C59 × Cite Format Result Cite Review PDF Full Text: Link
Hoffmann, J.; Bertoli, P.; Helmert, M.; Pistore, M. Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection. (English) Zbl 1184.68072 J. Artif. Intell. Res. (JAIR) 35, 49-117 (2009). MSC: 68M11 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Helmert, M. The fast downward planning system. (English) Zbl 1182.68245 J. Artif. Intell. Res. (JAIR) 26, 191-246 (2006). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: arXiv