Finite-time regional verification of stochastic non-linear systems
Distribution of the number of citations over years.