Formal Analysis of Lane-Changing Algorithms using Probabilistic Model Checking.
Saved in:
| Title: | Formal Analysis of Lane-Changing Algorithms using Probabilistic Model Checking. |
|---|---|
| Authors: | Sarwar, Muhammad Bilal1, msarwar.mscse22sines@student.nust.edu.pk, Hasan, Osman2, osman.hasan@seecs.nust.edu.pk |
| Source: | Journal of Signal Processing Systems for Signal, Image & Video Technology; Jun2026, Vol. 98 Issue 1, p1-19, 19p |
| Database: | Applied Science & Technology Source |
| ISSN: | 19398018 |
|---|---|
| DOI: | 10.1007/s11265-026-01986-x |
