Exploring Spatio-temporal Properties of Bike-Sharing Systems.

Vincenzo Ciancia Diego Latella Mieke Massink Rytis Paskauskas

Published in: SASO Workshops (2015)

Keyphrases

temporal properties
spatio temporal
building blocks
data analysis
distributed systems
logic programming
formal methods
possibility theory