  This work analyzes coverage in the downlink of a thinned LiFi attocell
network of deterministically arranged LEDs. The network is thinned by a
Bernoulli probability p over all the LEDs to decide whether each one of them
acts as a LiFi source or not. Then we use the series approximation approach
used in [1] to obtain closed form expressions for the probability of coverage
in such thinned LiFi attocell networks and validate them using numerical
simulations.
