Safety Analysis of Autonomous Driving Systems: A Simulation-Based Runtime Verification Approach
['Duong Dinh Tran', 'Takashi Tomita', 'Toshiaki Aoki']
/
IEEE Transactions on Reliability
/ Vol. 74
/ No. 4