arXiv Computation and Language By Maksym Labzhaniia (UniCA, Laboratoire I3S - COMRED, KAIROS), Julien Deantoni (UniCA, Laboratoire I3S - COMRED, KAIROS), Marie-Agn{\`e}s Peraldi-Frati (UniCA, Laboratoire I3S - COMRED, KAIROS), Fr{\'e}d{\'e}ric Mallet (Laboratoire I3S - COMRED, I3S, KAIROS, UniCA)

MakSafe: A Spatiotemporal Semantic Framework for Formal Specification and Compliance Checking of Road Vehicle Safety Rules

Read the original on arXiv Computation and Language →

The Flow has not summarised this story yet — read it at arXiv Computation and Language.

arXiv Computer Vision
Oct 1

TrafficSignBench: Rule-Centric Closed-Loop Evaluation of Traffic-Sign Compliance in Autonomous Driving

arXiv:2609.38463v1 Announce Type: cross Abstract: Autonomous driving planners are typically evaluated using aggregate metrics such as driving score, destination rate, and collision rate, which do not...

By Victoria Smirnova, Viktoriia Zinkovich, Gregorii Bukhtuev, Artem Belyaev, Andrey Kuznetsov, Denis Shepelev, Vlad Shakhuro
arXiv AI
2d ago

CoSafe: Cooperative Runtime Safety Assurance for Mixed-Traffic Autonomous Driving

CoSafe is a modular, ADS-agnostic framework that extends runtime safety assurance from ego-centric takeover to scene-level cooperative intervention in mixed-traffic autonomous driving. It uses vehicle-to-everything communication to allow roadside units to monitor hazards and jointly mitigate risks involving multiple vehicles. Evaluation on the InterDrive benchmark shows that CoSafe improves driving scores by 70.03%, reduces safety violations by 87.80%, and accurately identifies unsafe autonomous vehicles with an F3 score of 0.930 while meeting real-time constraints.

By Dingji Wang, You Lu, Haowen Jiang, Yanggang Chen, Yuyang Bi, Bihuan Chen, Shenglin Bao, Xin Peng
arXiv AI
Jun 8

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios

arXiv:2602. 16073v2 Announce Type: replace-cross Abstract: Developing autonomous driving systems for complex traffic environments requires balancing multiple objectives, such as avoiding collisions, obeying traffic rules, and making efficient progress.

By Kevin Kai-Chun Chang, Ekin Beyazit, Alberto Sangiovanni-Vincentelli, Tichakorn Wongpiromsarn, Sanjit A. Seshia
arXiv Machine Learning
Jul 20

PRISA: Proactive Infrastructure LiDAR Framework for Intersection Safety Assessment

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