Autoware

Autoware Safety Analysis in cutin, cutout, and deceleration scenarios

We evaluate the safety of Autoware, a leading ADS platform, in the three traffic disturbance scenarios, leveraging our Runtime Verification Framework.