Adapting Craig Reynolds' computer graphics flocking rules into formally verified safety-critical automotive control laws.
Построение функций Ляпунова-барьера гарантирует экспоненциальное затухание ошибок дистанции вдоль колонны, исключая возникновение фантомных пробок.