A Shortest-Path Lyapunov Approach for Forward Decision Processes

Figure 5

AND-path example.