-
Notifications
You must be signed in to change notification settings - Fork 1
/
traffic_inst_mdp__2.rddl
executable file
·69 lines (62 loc) · 1.91 KB
/
traffic_inst_mdp__2.rddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
non-fluents nf_traffic_inst_mdp__2 {
domain = traffic_mdp;
objects {
intersection : {ia3a3,ia3a6,ia6a3,ia6a6};
cell : {ca3a1,ca1a3,ca3a2,ca2a3,ca3a4,ca4a3,ca3a5,ca5a3,ca3a7,ca7a3,ca3a8,ca8a3,ca6a1,ca1a6,ca6a2,ca2a6,ca6a4,ca4a6,ca6a5,ca5a6,ca6a7,ca7a6,ca6a8,ca8a6};
};
non-fluents {
PERIMETER-INPUT-CELL(ca3a1);
PERIMETER-INPUT-CELL(ca6a1);
PERIMETER-INPUT-CELL(ca1a3);
PERIMETER-INPUT-CELL(ca1a6);
PERIMETER-INPUT-RATE(ca3a1) = 0.12509413;
PERIMETER-INPUT-RATE(ca6a1) = 0.11733327;
PERIMETER-INPUT-RATE(ca1a3) = 0.31230262;
PERIMETER-INPUT-RATE(ca1a6) = 0.4061942;
PERIMETER-EXIT-CELL(ca3a8);
PERIMETER-EXIT-CELL(ca6a8);
PERIMETER-EXIT-CELL(ca8a3);
PERIMETER-EXIT-CELL(ca8a6);
FLOWS-INTO-INTERSECTION-EW(ca3a2,ia3a3);
FLOWS-INTO-INTERSECTION-EW(ca3a5,ia3a6);
FLOWS-INTO-INTERSECTION-EW(ca6a2,ia6a3);
FLOWS-INTO-INTERSECTION-EW(ca6a5,ia6a6);
FLOWS-INTO-INTERSECTION-NS(ca2a3,ia3a3);
FLOWS-INTO-INTERSECTION-NS(ca5a3,ia6a3);
FLOWS-INTO-INTERSECTION-NS(ca2a6,ia3a6);
FLOWS-INTO-INTERSECTION-NS(ca5a6,ia6a6);
FLOWS-INTO-CELL(ca3a1,ca3a2);
FLOWS-INTO-CELL(ca1a3,ca2a3);
FLOWS-INTO-CELL(ca3a2,ca3a4);
FLOWS-INTO-CELL(ca2a3,ca4a3);
FLOWS-INTO-CELL(ca3a4,ca3a5);
FLOWS-INTO-CELL(ca4a3,ca5a3);
FLOWS-INTO-CELL(ca3a5,ca3a7);
FLOWS-INTO-CELL(ca5a3,ca7a3);
FLOWS-INTO-CELL(ca3a7,ca3a8);
FLOWS-INTO-CELL(ca7a3,ca8a3);
FLOWS-INTO-CELL(ca6a1,ca6a2);
FLOWS-INTO-CELL(ca1a6,ca2a6);
FLOWS-INTO-CELL(ca6a2,ca6a4);
FLOWS-INTO-CELL(ca2a6,ca4a6);
FLOWS-INTO-CELL(ca6a4,ca6a5);
FLOWS-INTO-CELL(ca4a6,ca5a6);
FLOWS-INTO-CELL(ca6a5,ca6a7);
FLOWS-INTO-CELL(ca5a6,ca7a6);
FLOWS-INTO-CELL(ca6a7,ca6a8);
FLOWS-INTO-CELL(ca7a6,ca8a6);
};
}
instance traffic_inst_mdp__2 {
domain = traffic_mdp;
non-fluents = nf_traffic_inst_mdp__2;
init-state {
occupied(ca3a2);
occupied(ca3a4);
occupied(ca4a3);
occupied(ca3a7);
};
max-nondef-actions = 4;
horizon = 40;
discount = 1.0;
}