policy-acrobatics_p0.dot

digraph G {
0 [label="{ (position p0), (not (up)) }"];
1 [label="{ (position p0), (up) }"];
2 [label="{ (position p1), (up) }"];
3 [label="{ (position p1), (not (up)) }"];
0 -> 1 [label="climb p0", color="#130F99", fontcolor="#130F99"];
1 -> 2 [label="walk-on-beam p0 p1", color="#EB9699", fontcolor="#EB9699"];
1 -> 3 [label="walk-on-beam p0 p1", color="#EB9699", fontcolor="#EB9699"];
3 -> 0 [label="walk-left p1 p0", color="#CD67B0", fontcolor="#CD67B0"];
subgraph cluster_goal_2 {
style=filled;
color=palegreen;
2;
label="GOAL";
}
subgraph cluster_init {
style=filled;
color=lightblue;
0;
label="INIT";
}
}