Adaptando regras de bandos de pássaros para leis de controle automotivo com segurança formal.
Construir funções estritas de controle Lyapunov-barreira garante que erros de espaçamento atenuem exponencialmente ao longo do comboio.
Explorar Portfólio de Domínios