[IEEE 2018 IEEE Conference on Decision and Control (CDC) - Miami Beach, FL (2018.12.17-2018.12.19)] 2018 IEEE Conference on Decision and Control (CDC) - Automatic Synthesis via Tulip of an Autonomous Vehicle Controller Ensuring Collision Avoidance
Kabbani, Tarek, Di Gennaro, StefanoYear:
2018
Language:
english
DOI:
10.1109/CDC.2018.8619391
File:
PDF, 764 KB
english, 2018