Verification of Cooperative Vehicle Behavior using Temporal Logic

Frankfurt ; München [u.a.] / Elsevier (2019) [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]

IFAC-PapersOnLine
Band: 52
Ausgabe: 8
Seite(n): 99-104

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Völker, Marcus
Kloock, Maximilian
Rabanus, Leon
Alrifaee, Bassam
Kowalewski, Stefan

Identifikationsnummern