A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin

Browse the full ISoLA paper archive.