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)
Contribution to a book, Contribution to a conference proceedings

In: 2021 IEEE International Intelligent Transportation Systems Conference (ITSC) : 19-22 Sept. 2021 / publisher: IEEE
Page(s)/Article-Nr.: 244-250