Formal Analysis of Lane-Changing Algorithms using Probabilistic Model Checking

Journal of Signal Processing Systems 2026

View at publisher

Authors: Muhammad Bilal Sarwar, Osman Hasan

DOI: 10.1007/s11265-026-01986-x

Cited by: 1

References: 26

Fields of Study & Subjects

Autonomous Vehicle Technology and Safety Traffic control and management Formal Methods in Verification

References 26