Automatic Synthesis via Tulip of an Autonomous Vehicle Controller Ensuring Collision Avoidance. - Tarek Kabbani; Stefano Di Gennaro (CDC, 2018)