Towards Light-Weight Probabilistic Model Checking

Figure 9

Probabilistic state machine for a foraging robot.