Software and data for the formal modelling of urban transportation systems.

Image: CC-BY Daniël Reijsbergen

Items in this Collection

  • 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 ...
  • 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, ...