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 either parameterized self-driving policies and human drivers.