A three-dimensional and nonlinear example about a simple controller that steers a car along a straight road [2].
Here, the unsafe space is set to be x <= -4.
Input file
