Self-Driving Cars: Formalization and Verification Of The Responsibility-Sensitive Safety (RSS) Model

Media coverage

• Title	Self-Driving Cars: Formalization and Verification Of The Responsibility-Sensitive Safety (RSS) Model
  Media name/outlet	Semiconductor Engineering
  Country/Territory	United States
  Date	6/28/23
  URL	https://semiengineering.com/self-driving-cars-formalization-and-verification-of-the-responsibility-sensitive-safety-rss-model/
  Persons	Stefan Mitsch