In pedestrian-vehicle crossing conflicts, automated vehicles (AVs) should avoid collisions and follow pedestrian-related traffic rules and social expectations. However, many existing decision-making models mainly optimize safety or efficiency. The behavioral effects of specific pedestrian-related rules remain insufficiently examined. Thus, actions that appear safe under surrogate metrics may still violate normative expectations in dynamic traffic. This study proposes a Traffic Rule-Embedded Decision-Making framework (TRE-DM) for ego-vehicle control in pedestrian-vehicle conflicts. 1) Pedestrian-related provisions from traffic laws and standards are decomposed into yielding, slowing, and braking. 2) These rules are formalized using MTL-informed triggering conditions and embedded into reinforcement learning through soft rule-shaped rewards. 3) The framework is evaluated using pedestrian-crossing conflicts reconstructed from the Shanghai Naturalistic Driving Study. Perturbation-based stress tests and external evaluations on three public datasets are also conducted. Results show that TRE-DM achieves balanced performance in safety, compliance-related behavior, comfort, and efficiency. Compared with human-driver trajectories, it reduces TIT (time-integrated TTC) by 37.5% and decreases yielding violations from 102 to 0. Compared with the agent using only collision-avoidance objectives, it reduces TIT by 32.2% and decreases collision events from 7 to 0. Ablation results further show that yielding is essential for reducing safety-critical failures, slowing supports earlier risk anticipation, and braking improves control smoothness. Trajectory reconstruction further shows earlier deceleration and safer lateral clearance under rule guidance, suggesting more rule-consistent and risk-aware evasive behavior. Overall, this study provides an interpretable rule-modeling and rule-embedding framework for improving AV behavior in pedestrian-vehicle conflicts.
Chenming Fu, Xuesong Wang, Ruolin Shi et al.· Accident Analysis and Preven...· 0 citations
The safe deployment of Automated Driving Systems (ADS) requires traffic rules to be translated from qualitative natural-language clauses into measurable and executable decision criteria. However, formalized traffic rules may still contain vague propositions and missing quantitative parameters. This study proposes a framework for evaluating, optimizing, and verifying traffic rules for ADS in freeway lane-changing scenarios. In the evaluation stage, Metric Temporal Logic (MTL) is used to formalize relevant traffic rules, and a scenario-level method is developed to identify vague propositions and missing key parameters. In the optimization stage, Shanghai Naturalistic Driving Study (SH-NDS) data are used to develop an executable interpretation through a three-stage lane-changing model comprising judgment, execution, and stabilization. In the judgment stage, Shapley Additive Explanations (SHAP) and weighted quantile regression are used to identify key factors and derive lane-change initiation thresholds. In the execution stage, a Support Vector Machine (SVM) model classifies real-time interaction risk. In the stabilization stage, a dual-dimensional risk-assessment model determines longitudinal control responses. Verification results show that the proposed interpretation increases the minimum Generalized Time-to-Collision (GTTC) at lane-change initiation by 1.24 s, achieves an overall risk-classification accuracy of 94% during execution, and reduces Time-Exposed Time-to-Collision (TET) during stabilization by 1.934 s, corresponding to a reduction of 39.2%. The proposed framework provides a systematic method for converting qualitative traffic rules into measurable and executable requirements for ADS.
Jingru Zang, Xuesong Wang, Ruolin Shi et al.· Accident Analysis and Preven...· 0 citations