Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections.

Christopher Bischopink, Maike Schwammberger

Browse the full FM paper archive.