Announcement_7

Our paper titled Safety Analysis of Autonomous Driving Systems: A Simulation-based Runtime Verification Approach has been accepted for publication in IEEE Transactions on Reliability. A press release has been issued to announce this achievement.