Automatic Synthesis via Tulip of an Autonomous Vehicle Controller Ensuring Collision Avoidance