Before revision:  The safety of the robot during its motion is formulated as chance-constraints with user-chosen probabilities of constraint satisfaction.
After revision:  The safety of the robot during its motion is formulated as chance constraints with user-chosen probabilities of constraint satisfaction.