• Lothian Buses Full Fleet GPS Traces, 2014 to 2015 

      Reijsbergen, Daniёl; European Commission
      These datasets have been collected and provided to us by Lothian Buses. They consist of Automatic Vehicle Location (AVL) data obtained using periodic GPS location measurements. Each data entry consists of a bus identifier, ...
    • Analysis Software for Model Checking Edinburgh Buses 

      Reijsbergen, Daniel; Gao, Wulinjian
      This software is supplementary material for the paper 'An automated methodology for analysing urban transportation systems using model checking' by Daniël Reijsbergen and Stephen Gilmore. It was used to construct the figures ...