Before revision:  In safety-critical environments  , a human supervisor may want to verify that the plan is indeed collision-free.
After revision:  In safety-critical environments applications , a human supervisor may want to verify that the plan is indeed collision-free.