A Shortest-Path Lyapunov Approach for Forward Decision Processes

Figure 4

OR-Path Example.