Hierarchical Termination Analysis for Generalized Planning.

Siddharth Srivastava

Published in: CoRR (2022)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
planning problems
heuristic search
information systems