Reachability analysis for agent-based simulations