-- Safety --

State Space:
    x1: -2, 2
    x2: -2, 2
    x3: -2, 2
    x4: -2, 2

Initial State:
    x1: 0.5, 1.5
    x2: 0.5, 1.5
    x3: 0.5, 1.5
    x4: 0.5, 1.5

Unsafe State(s):
    x1: -2.4, -1.6
    x2: -2.4, -1.6
    x3: -2.4, -1.6
    x4: -2.4, -1.6
