A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems
['Vincenzo Ciancia', 'Diego Latella', 'Mieke Massink', 'Rytis Paškauskas', 'Andrea Vandin']
A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems