产品
VAL
PDDL社区长期使用的计划验证工具，能够检查计划是否满足动作前提、效果以及时间与数值约束。
时间轴 (近 90 天)
10月30日
与VAL验证器的对比将每一个分歧追溯到PDDL+的约定或VAL的已知缺陷。
待验证50%
10月30日
VAL对PDDL+的连续过程语义支持并不完整，且在某些边界约定上与规划器实现存在分歧。
待验证50%
PDDL社区长期使用的计划验证工具，能够检查计划是否满足动作前提、效果以及时间与数值约束。
与VAL验证器的对比将每一个分歧追溯到PDDL+的约定或VAL的已知缺陷。
VAL对PDDL+的连续过程语义支持并不完整，且在某些边界约定上与规划器实现存在分歧。