...
test_long_term_prediction(): test that in each point the robust prediction (i.e. that include the effect of the disturbances) of the time at which the car enters and exits the intersection is correct. This is useful to check that the upper and lower bounds given to the disturbances are effective for the prediction.test_exact_supervisor(): simulate the execution of the exact supervisor and print in detail the status of the internal variables. This is useful to debug the supervisor.
...