TY  - RPRT
TI  - Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL
AU  - Maike Schwammberger
PY  - 2018
DO  - 10.4204/eptcs.269.3
UR  - https://arxiv.org/abs/1804.04346
ID  - 1804.04346
ER  -