Formal verification of autonomous vehicle platooning
Erstellt am: 08.08.2019
Autoren: | Maryam Kamali Louise A. Dennis Owen McAree Michael Fisher Sandor M. Veres |
|
Erscheinungsjahr / -datum: | 2017/11/15 | |
Veröffentlicht in: | Science of Computer Programming | |
Ausgabe / Auflage: | 148 | |
Seiten: | 88-106 | |
Zitiert als: | [Kama17] | |
Art der Veröffentlichung: | Beitrag in einer Zeitung / Zeitschrift / Journal / Schriftenreihe | |
Sprache: | Englisch | |
Online-Referenz: | doi:10.1016/j.scico.2017.05.006 | |