A linear collision avoidance example similar to the one in Chapter *.
Here, we restrict vl by vl'=0 , and reset the state space to be [0,10]×[0,30]×[0,30]×[-2,5] and the initial set to be -0.8522vr-0.1478vl-0.3177ar+gap>10.
Input file
