ติดตาม
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