Implementação, simulação e verificação formal de um agente racional condutor de um veículo autônomo
Autonomous technology has been implemented to increase the vehicles’ safety. The reduction in the numbers of fatalities due to these technologies opens new opportunities for improvement of the urban traffic. Autonomous vehicles will be a reality soon, aiding in this improvement and generating new mo...
Principais autores: | Abade, Carlos Eduardo, Alonzo, Priscilla Dorado Gaertner |
---|---|
Formato: | Trabalho de Conclusão de Curso (Graduação) |
Idioma: | Português |
Publicado em: |
Universidade Tecnológica Federal do Paraná
2020
|
Assuntos: | |
Acesso em linha: |
http://repositorio.utfpr.edu.br/jspui/handle/1/15965 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|