Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Efficient Safety Verification of Autonomous Vehicles with Neural Network Operator
Lingxiang Fan, Linxuan He, Haoyuan Ji +1
When autonomous vehicles encounter untrained scenarios, ensuring safety hinges on effective safety verification to prevent accidents stemming from unexpected model decisions. Reach…
eess.SY2024
Adaptive Testing Environment Generation for Connected and Automated Vehicles with Dense Reinforcement Learning
Jingxuan Yang, Ruoxuan Bai, Haoyuan Ji +3
The assessment of safety performance plays a pivotal role in the development and deployment of connected and automated vehicles (CAVs). A common approach involves designing testing…