A spatial algorithm for the analysis of transportation systems using statistical model checking

Daniël Reijsbergen, Stephen Gilmore

We present an automated methodology for using Automatic Vehicle Location measurements of public transportation vehicles to construct a probabilistic model. The model not only allow…