Login / Signup
Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement.
Raphael Kreft
Clemens Büchner
Silvan Sievers
Malte Helmert
Published in:
ICAPS (2023)
Keyphrases
</>
domain independent
classical planning
planning problems
temporal abstractions
deterministic domains
domain specific
heuristic search
optimal solution
state space
model checking
dynamic programming
sufficient conditions
orders of magnitude
formal verification