An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres.

Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog, Anders P. Ravn

Browse the full ICFEM paper archive.