Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1709.02557
Cited By
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
8 September 2017
Lucas E. R. Fernandes
Vinicius Custodio
G. V. Alves
Michael Fisher
Re-assign community
ArXiv (abs)
PDF
HTML
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
Simon Ulbrich
A. Reschka
J. Rieken
Susanne Ernst
Gerrit Bagschik
F. Dierkes
Marcus Nolte
Markus Maurer
31
63
0
24 Mar 2017
1
