Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars.

Megan Strauss, Stefan Mitsch

Browse the full TAP paper archive.