Learned PVS Rule for Platoon Placement

plausible upper bound IF

plausible lower bound IF

THEN