Giving an overview of methods for verifying probabilistic multi-agent systems with a possibly unbounded number of agents.