Formal Methods for Control Synthesis: An Optimization Perspective
Distribution of the number of citations over years.