ResearchTrend.AI
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

Lucas E. R. Fernandes
Vinicius Custodio
G. V. Alves
Michael Fisher
ArXiv (abs)PDFHTML

Papers citing "A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification"

1 / 1 papers shown
Title
Towards a Functional System Architecture for Automated Vehicles
Towards a Functional System Architecture for Automated Vehicles
Simon Ulbrich
A. Reschka
J. Rieken
Susanne Ernst
Gerrit Bagschik
F. Dierkes
Marcus Nolte
Markus Maurer
31
63
0
24 Mar 2017

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.