Search papers, labs, and topics across Lattice.
The paper introduces a Petri net reachability relaxation technique to improve invariant synthesis, detect goal unreachability, and provide explanations for infeasible plans in dynamic planning scenarios. By relaxing the Petri net reachability constraints, the method enables efficient identification of infeasibilities and generation of helpful explanations when plans are not feasible. Experiments demonstrate that the proposed system detects more infeasibilities and outperforms baselines in sequential plan updates, while remaining competitive in one-shot planning.
Uncover hidden planning roadblocks faster: a Petri net relaxation approach detects infeasibilities twice as effectively, guiding requirement adjustments when feasible plans are impossible.
Plans often change due to changes in the situation or our understanding of the situation. Sometimes, a feasible plan may not even exist, and identifying such infeasibilities is useful to determine when requirements need adjustment. Common planning approaches focus on efficient one-shot planning in feasible cases rather than updating domains or detecting infeasibility. We propose a Petri net reachability relaxation to enable robust invariant synthesis, efficient goal-unreachability detection, and helpful infeasibility explanations. We further leverage incremental constraint solvers to support goal and constraint updates. Empirically, compared to baselines, our system produces a comparable number of invariants, detects up to 2 times more infeasibilities, performs competitively in one-shot planning, and outperforms in sequential plan updates in the tested domains.
