Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking

Kloock, Maximilian Martin (Corresponding author); He, Qingyun (Corresponding author); Kowalewski, Stefan (Corresponding author); Alrifaee, Bassam (Corresponding author)

Piscataway, NJ] : IEEE (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 2021 IEEE International Intelligent Transportation Systems Conference (ITSC) : 19-22 Sept. 2021 / publisher: IEEE
Seite(n)/Artikel-Nr.: 244-250

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 11 (Embedded Software) [122810]

Identifikationsnummern