A technical paper titled “Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars” was published by ...

This is a preview. Log in through your library . Abstract I survey Brouwer's weak counterexamples to classical theorems, with a view to discovering (i) what useful mathematical work is done by weak ...