Adapting Craig Reynolds' computer graphics flocking rules into formally verified safety-critical automotive control laws.
La costruzione di funzioni di controllo Lyapunov-barriera garantisce che gli errori di spaziatura si attenuino in modo esponenziale lungo il plotone.