Cooperative and Intrinsically-Correct Control of Vehicles in Diverse Environments
Original Language Title: Kooperative und intrinsisch korrekte Regelung von Fahrzeugen in variablen Umgebungen
CoInCIDE, is a German national project national funded by DFG in SPP 1835. The program focuses on intrinsically correct control of cooperating vehicles. The two main aspects are timing of decision making and communication between the cooperating cars, as well as formal correctness guarantees for the controllers under realistic environmental assumptions.