non-fluents nf_crossing_traffic_inst_mdp__1 {
domain = crossing_traffic_mdp;
objects {
xpos : {x1, x2, x3};
ypos : {y1, y2, y3};
};
non-fluents {
NORTH(y1, y2);
SOUTH(y2, y1);
NORTH(y2, y3);
SOUTH(y3, y2);
EAST(x1, x2);
WEST(x2, x1);
EAST(x2, x3);
WEST(x3, x2);
MIN-XPOS(x1);
MAX-XPOS(x3);
MIN-YPOS(y1);
MAX-YPOS(y3);
GOAL(x3, y3);
INPUT-RATE = 0.3;
};
}
instance crossing_traffic_inst_mdp__1 {
domain = crossing_traffic_mdp;
non-fluents = nf_crossing_traffic_inst_mdp__1;
init-state {
robot-at(x3, y1);
obstacle-at(x1, y2);
obstacle-at(x3, y2);
};
max-nondef-actions = 1;
horizon = 40;
discount = 1.0;
}