概念
PDDL+
PDDL的扩展版本，支持数值流、持续时间、时间窗口以及连续变化量（processes和effects），用于建模混合动力学系统。
时间轴 (近 90 天)
10月30日
与VAL验证器的对比将每一个分歧追溯到PDDL+的约定或VAL的已知缺陷。
待验证50%
10月30日
VAL对PDDL+的连续过程语义支持并不完整，且在某些边界约定上与规划器实现存在分歧。
待验证50%
PDDL的扩展版本，支持数值流、持续时间、时间窗口以及连续变化量（processes和effects），用于建模混合动力学系统。
与VAL验证器的对比将每一个分歧追溯到PDDL+的约定或VAL的已知缺陷。
VAL对PDDL+的连续过程语义支持并不完整，且在某些边界约定上与规划器实现存在分歧。