Approximate Model Checking of Stochastic COWS