Guarantees for Sound Abstractions for Generalized Planning (Extended Paper).

Blai Bonet Raquel Fuentetaja Yolanda E-Martín Daniel Borrajo

Published in: CoRR (2019)

Keyphrases

neural network
high level
heuristic search
motion planning
admissible heuristics
temporal planning problems
data mining
search algorithm
mobile robot
planning problems
ai planning