TY  - RPRT
TI  - A spatial algorithm for the analysis of transportation systems using statistical model checking
AU  - Daniël Reijsbergen
AU  - Stephen Gilmore
PY  - 2020
UR  - https://arxiv.org/abs/2009.13053
ID  - 2009.13053
ER  -