Model predictive control with signal temporal logic specifications
Distribution of the number of citations over years.