Statistical runtime verification of agent-based simulations