Abstract: The safety of autonomous vehicles (AVs) is a critical consideration for their widespread adoption. Responsibility sensitive safety (RSS) is proposed to serve as a model checking tool for AV ...