Adapting Craig Reynolds' computer graphics flocking rules into formally verified safety-critical automotive control laws.
Strenge Steuerungs-Lyapunov-Barriere-Funktionen stellen sicher, dass Abstandsfehler entlang der Kolonne exponentiell abklingen statt Schockwellen zu bilden.