A Verified Compositional Algorithm for AI Planning.

Mohammad Abdulaziz Charles Gretton Michael Norrish

Published in: ITP (2019)

Keyphrases

learning algorithm
ai planning
objective function
np hard
dynamic programming
search space
k means
computational complexity
linear programming
goal directed
lower bound
probabilistic model
general purpose
particle swarm optimization
np complete
business processes
web services