Detection, coverage and percolation in dynamic Boolean models with random radii based on Alpha-stable processes | Synapse