conftrace_

goal reachability

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

termination analysis (1) dead-end state (1) graph decomposition (1) generalized planning (1) utility maximization (1) planning algorithm (1) markov decision process (1) constrained optimization (1) hierarchical planning (1)

Papers

Planning with Formal Reachability Guarantees in Goal-Oriented MDPs with Dead-Ends UAI 2026 Hierarchical Decompositions and Termination Analysis for Generalized Planning (Abstract Reprint) IJCAI 2024