Inductive Certificates of Unsolvability for Domain-Independent Planning.

Salomé Eriksson Gabriele Röger Malte Helmert

Published in: IJCAI (2018)

Keyphrases

domain independent planning
planning problems
generating high quality
public key
access control
admissible heuristics
optimal planning
machine learning
genetic algorithm
learning algorithm