K∗ and partial order reduction for top-quality planning

M Katz, J Lee - Proceedings of the International Symposium on …, 2023 - ojs.aaai.org
Partial order reduction techniques are successfully used for various settings in planning,
such as classical planning with A* search or with decoupled search, fully-observable non …

An atom-centric perspective on stubborn sets

G Röger, M Helmert, J Seipp, S Sievers - Proceedings of the …, 2020 - ojs.aaai.org
Stubborn sets are an optimality-preserving pruning technique for factored state-space
search, for example in classical planning. Their applicability is limited by their computational …

Beyond Stars–Generalized Topologies for Decoupled Search

D Gnad, A Torralba, D Fišer - Proceedings of the International …, 2022 - ojs.aaai.org
Decoupled search decomposes a classical planning task by partitioning its variables such
that the dependencies between the resulting factors form a star topology. In this topology, a …

Star-topology decoupled state-space search in AI planning and model checking

D Gnad - 2021 - publikationen.sulb.uni-saarland.de
State-space search is a widely employed concept in many areas of computer science. The
well-known state explosion problem, however, imposes a severe limitation to the effective …

On weak stubborn sets in classical planning

S Sievers, M Wehrle - 2021 - edoc.unibas.ch
Stubborn sets are a pruning technique for state-space search which is well established in
optimal classical planning. In this paper, we show that weak stubborn sets introduced in …

Model Checking -Regular Properties with Decoupled Search

D Gnad, J Eisenhut, A Lluch Lafuente… - … Aided Verification: 33rd …, 2021 - Springer
Decoupled search is a state space search method originally introduced in AI Planning.
Similar to partial-order reduction methods, decoupled search exploits the independence of …

Revisiting Dominance Pruning in Decoupled Search

D Gnad - Proceedings of the AAAI Conference on Artificial …, 2021 - ojs.aaai.org
In classical planning as search, duplicate state pruning is a standard method to avoid
unnecessarily handling the same state multiple times. In decoupled search, similar to …

[CITAT][C] Improving plan flexibility by reasoning about action orderings and instantiations

MV WATERS - 2021 - RMIT University