An Abstract Model for Proving Safety of Autonomous Urban Traffic.

Martin Hilscher, Maike Schwammberger

Browse the full ICTAC paper archive.