关注
Lucas Emanuel Ramos Fernandes Koontz
Lucas Emanuel Ramos Fernandes Koontz
Master's Degree Student, Universidade de São Paulo (USP)
在 ime.usp.br 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作，请稍后再试。
文章 1–3