@Inproceedings{EPTCS269.3,
  author    = {Schwammberger, Maike},
  year      = {2018},
  title     = {Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL},
  editor    = {Gleirscher, Mario and Kugele, Stefan and Linker, Sven},
  booktitle = {{\rm Proceedings 2nd International Workshop on}
               Safe Control of Autonomous Vehicles,
               {\rm Porto, Portugal, 10th April 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {269},
  publisher = {Open Publishing Association},
  pages     = {17-31},
  doi       = {10.4204/EPTCS.269.3},
}