TRIVIAL-HARD

TRIVIAL-HARD

Flow: (x_1',x_2')=(1,1)
Empty jump relation
Init: x₁=0/\x₂=0
Unsafe: x₁>=1.5 /\x₂<=1
The state space: [0,2]×[0,2]

Input file

TRIVIAL-HARD