Synthesizing Controllers for Multi-lane Traffic Maneuvers.

Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog

Browse the full SETTA paper archive.