Controller Design for Cooperative Driving with Guaranteed Safe Behavior. - Jeroen Ligthart; Elham Semsar-Kazerooni; Jeroen Ploeg; Mohsen Alirezaei; Henk Nijmeijer (CCTA, 2018)