Autoware

From Simulation to Verification: A Flexible Interface for Scenario Description in Autoware Autonomous Driving Ecosystem

We propose AWSIM-ScriptPy, a Python-based scenario specification library that enables efficiently scenario specification for Autoware ecosystem.

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.