Safety Analysis of Autonomous Driving Systems: A Simulation-Based Runtime Verification Approach
/ IEEE Transactions on Reliability
・Vol.74
・No.4
・2025