Towards Light-Weight Probabilistic Model Checking

Figure 10

Probabilistic state machine for a foraging swarm.