-- Safety --

State Space:
    x1: -1, 1
    x2: -1, 1

Initial State:
    x1: 0.1, 0.4
    x2: 0.1, 0.55

Unsafe State(s):
    x1: 0.5, 1
    x2: 0.6, 1

    x1: -1, -0.6
    x2: 0.6, 1

    x1: -1, -0.7
    x2: -1, -0.6

    x1: 0.6, 1
    x2: -1, -0.6
