conftrace_

plan verification

10 papers

Explore in graph

Co-occurring keywords · papers mentioning both

hierarchical task network (6) automated planning (4) htn planning (3) computational complexity (3) sat planning (2) classical planning (2) complexity analysis (2) formal verification (2) causal link (1) planning problem (1)

Papers

HTN Plan Verification by Qualitative Temporal Reasoning AAAI 2026 A Structural Complexity Analysis of Hierarchical Task Network Planning IJCAI 2025 Formalisation and Evaluation of Properties for Consequentialist Machine Ethics IJCAI 2024 On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence AAAI 2024 Symbolic Reasoning Methods for AI Planning AAAI 2024 Formally Verified SAT-Based AI Planning AAAI 2023 On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm AAAI 2023 Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains AAAI 2023 Tight Bounds for Hybrid Planning IJCAI 2022 Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties IJCAI 2020