input_breakSplit.json 451 Bytes
Newer Older
navidmokh's avatar
navidmokh committed
1
2
3
4
5
6
{
    "vertex":["Const;Const","Brk;Const","Brk;Const"],
    "edge":[[0,1],[0,2]],
    "variables":["car1_x","car1_y","car1_vx","car1_vy","car2_x","car2_y","car2_vx","car2_vy"],
    "guards":[
        "And(t>1.0,t<=2.0)",
li213's avatar
li213 committed
7
        "And(t>2.5,t<=3.5)"
navidmokh's avatar
navidmokh committed
8
9
10
11
12
13
    ],
    "initialSet":[[0.0,-3.0,0.0,1.0,0.0,-23.0,0.0,0.0],[0.0,3.0,0.0,1.0,0.0,-14.0,0.0,0.0]],
    "unsafeSet":"@Allmode:And(car1_y-car2_y<3)",
    "timeHorizon":5.0,
	"directory":"examples/cars"
}