Volgen
Lucas Emanuel Ramos Fernandes Koontz
Lucas Emanuel Ramos Fernandes Koontz
Master's Degree Student, Universidade de São Paulo (USP)
Geverifieerd e-mailadres voor ime.usp.br - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A rational agent controlling an autonomous vehicle: implementation and formal verification
LER Fernandes, V Custodio, GV Alves, M Fisher
arXiv preprint arXiv:1709.02557, 2017
332017
Implementação e verificação formal de planos de um agente racional modelado para condução de um veículo autônomo
LER Fernandes
Universidade Tecnológica Federal do Paraná, 2017
2017
Implementação e verificação formal de estratégias para desvio de obstáculos de veículos autônomos modelados como agentes racionais
LER Fernandes, V Custodio, GV Alves
WPCCG Workshop de Pesquisa em Computação dos Campos Gerais 1, 2016
2016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3