Maximilian Kloock, Qingyun He, Stefan Kowalewski, Bassam Alrifaee. Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking. In 24th IEEE International Intelligent Transportation Systems Conference, ITSC 2021, Indianapolis, IN, USA, September 19-22, 2021. pages 244-250, IEEE, 2021. [doi]
Abstract is missing.