Synthesis for Robots: Guarantees and Feedback for Robot Behavior
Distribution of the number of citations over years.