Follow
Lucas Emanuel Ramos Fernandes Koontz
Lucas Emanuel Ramos Fernandes Koontz
Master's Degree Student, Universidade de São Paulo (USP)
Verified email at ime.usp.br - Homepage
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–3