conftrace_

termination analysis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

goal reachability (1) graph decomposition (1) generalized planning (1) hierarchical planning (1)

Papers

Hierarchical Decompositions and Termination Analysis for Generalized Planning (Abstract Reprint) IJCAI 2024