Adapting Craig Reynolds' computer graphics flocking rules into formally verified safety-critical automotive control laws.
La construcción de funciones de control Lyapunov-barrera asegura que los errores de distancia se atenúen exponencialmente a lo largo del convoy.