Stein's method in a two-dimensional coverage problem
Consider a Poisson process of unit squares in the plane, with intensity [theta]. Let q(L, [theta]) be the chance that an L x L square is completely covered by the randomly-positioned unit squares. Stein's method is used to give explicit bounds on q(L, [theta]), improving on the known asymptotic (L, [theta] --> [infinity]) results.