Product
VAL
A plan validation tool long used by the PDDL community that checks whether a plan satisfies action preconditions, effects, and temporal and numeric constraints.
Timeline (last 90 days)
Oct 30
Comparison with the VAL validator traces every disagreement to a PDDL+ convention or a known defect of VAL.
Unverified50%
Oct 30
VAL's support for PDDL+ continuous process semantics is incomplete, and it disagrees with planner implementations on certain boundary conventions.
Unverified50%