Before revision:  The effectiveness of the proposed methodology is illustrated through various numeric examples with SV controlled by  parameterized self-driving policies and human drivers.
After revision:  The effectiveness of the proposed methodology is illustrated through various numeric examples with SV controlled by parameterized self-driving policies or human drivers.