A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Finding Optimal Timetables for Edinburgh Bus Routes
2015
Electronical Notes in Theoretical Computer Science
We present a novel application of stochastic simulation and model-checking methods to determining whether bus services are fulfilling their service-level agreement to provide on-time departures of buses from stops sufficiently often. We use open data on predicted bus arrival times to parameterise a stochastic model of a particular bus route from Edinburgh city centre out to suburban and rural areas to the south of the city. We validate and then analyse our stochastic model using both simulation
doi:10.1016/j.entcs.2014.12.018
fatcat:vsv7fngrkbegterp6ehyp7xaf4