-- Safety --

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

Initial State:
    x1: -0.5, 0.5
    x2: -0.5, 0.5

Unsafe State(s):
    x1: 1.5, 2
    x2: 1.5, 2

    x1: -2, -1.5
    x2: 1, 2

    x1: -1.5, -1
    x2: 1.5, 2

    x1: 1.5, 2
    x2: -2, -1
