Research Article

Towards Light-Weight Probabilistic Model Checking

Table 3

State space for different swarm populations.

Number of robots States Transitions Model construction

seconds
seconds
seconds
seconds
seconds
seconds
seconds