We issued the following press release:

https://www.jaist.ac.jp/whatsnew/press/2025/05/23-1.html

It is based on the following journal paper:

Duong Dinh Tran, Takashi Tomita, and Toshiaki Aoki: Safety Analysis of Autonomous Driving Systems: A Simulation-Based Runtime Verification Approach, IEEE Transactions on Reliability, 2025.