Cooperative and Intrinsically-Correct Control of Vehicles in Diverse Environments

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.