conftrace_

plan validation

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

automated planning (2) automated modeling (1) pddl+ planning (1) domain repair (1) negative precondition (1) robustness envelope (1) generalized plan (1) discrete time planning (1) simple temporal network (1) trajectory simulation (1)

Papers

PPS: An Efficient Java-based Simulator for Time-Discrete PDDL+ AAAI 2026 Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains AAAI 2023 Generalized Planning with Positive and Negative Examples AAAI 2020 Robustness Envelopes for Temporal Plans AAAI 2019