Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control
Distribution of the number of citations over years.