The paper presents a study on using formal verification to assess end‑to‑end steering models for autonomous vehicles. Two small steering networks were trained in CARLA—one on clear conditions only and another on clear, fog, night, and low sun—and both were evaluated against a 2.19‑ft lane‑departure budget. By applying bound propagation, the authors computed steering drift across a vast range of disturbances, uncovering failures in the clear‑trained model that were not detected by simulation alone and suggesting potential failures between test cases.
By Menuka Ghalan, Charles Rodgers, Zachary D. Asher
The paper introduces a geo‑referenced smartphone dashcam dataset of 63,839 frames from South Texas and a baseline framework for assessing road lane quality. Three new metrics—Contrast Stability Index (CSI), Line Continuity Ratio (LCR), and Regression Lane Confidence Score (RLCS)—are proposed to evaluate lane‑marking visibility, continuity, and map consistency without dense human labels. Baseline models achieve strong performance, and pilot validation shows the metrics correlate better with human judgments than generic image‑quality measures.
By Shaif Chowdhury, Akhila Yeruvasu, Moshiur Rahman Tonmoy, Ayush Goyal, Dunren Che
arXiv:2607. 16156v1 Announce Type: new Abstract: Urban intersections are among the most hazardous locations in road networks, posing significant risks to vehicles and vulnerable road users (VRUs) such as pedestrians and cyclists.
By Tam Bang, Hussam Abubakr, Emiliano de la Garza Villarreal, Truc Phuong Nguyen, Austin Harris, Toru Hirano, Mina Sartipi, Yunfei Xu, Hoang H. Nguyen
arXiv:2609.39969v1 Announce Type: cross
Abstract: Physical LiDAR attacks are often evaluated using fixed primitives and manually selected parameters, despite their strong dependence on surrounding tr...
By Yiming Gao, Shaocheng Luo
arXiv:2606. 04513v1 Announce Type: new Abstract: Lane-level maps are critical infrastructure for autonomous driving and lane-level navigation, yet constructing and maintaining standardized lane networks for hundreds of cities remains highly labor-intensive.
By Deguo Xia, Zihan Li, Haochen Zhao, Dong Xie, Yuyao Kong, Xiyan Liu, Jizhou Huang, Mengmeng Yang, Diange Yang
arXiv:2606. 24129v1 Announce Type: new Abstract: For a wheelchair user, a standard blue line on a map is often a broken promise.
By ASM Mobarak Hossain, Nadim Mahmud, Vaskar Raychoudhury, Md Osman Gani