RVPLAN: Runtime Verification of Assumptions in Automated Planning.

Angelo Ferrando Rafael C. Cardoso

Published in: ICAART (2) (2022)

Keyphrases

automated planning
heuristic search
goal directed
planning domains
ai planning
planning systems
model checking
interactive storytelling
planning problems
heuristic search algorithms
macro operators
genetic algorithm
search space
web service composition
heuristic function