Exploring Spatio-temporal Properties of Bike-Sharing Systems


In this paper we explore the combination of novel spatio-temporal model-checking techniques, and of a recently developed model-based approach to the study of bike sharing systems, in order to detect, visualize and investigate potential problems with bike sharing system configurations. In particular the formation and dynamics of clusters of full stations is… (More)
DOI: 10.1109/SASOW.2015.17

6 Figures and Tables


  • Presentations referencing similar topics