A adoção em larga escala de veículos automatiza...a adoção em larga escala de veículos automatizados e conectados é uma questão de tempo. muito embora a automação ofereça certa autonomia aos veículos, áreas de conflito como interseções urbanas e entroncamentos rodoviários continuarão existindo. essas regiões impõem limites na capacidade da malha viária e requerem cuidados adicionais com segurança. assim, continuarão prevalecendo regras de circulação e conduta e será necessária a cooperação entre veículos e infraestrutura. a implementação dessas regras num cenário de veículos automatizados vem sendo feita por meio de estratégias de controle de variados tipos. porém, a maioria dessas estratégias não trata do caso coordenado ou em rede, ou o faz de forma limitada. além disso, não aplicam técnicas de verificação formal para assegurar que funcionarão como se espera. este projeto propõe a pesquisa de estratégias de controle de tráfego com veículos automatizados e conectados para interseções isoladas e coordenadas ou em rede, com a incorporação de técnicas de verificação formal.