Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Maximilian Kloock' in GoogleThis author has not been identified. Look up 'Qingyun He' in GoogleThis author has not been identified. Look up 'Stefan Kowalewski' in GoogleThis author has not been identified. Look up 'Bassam Alrifaee' in Google

runs on WebDSL