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 researchers at Carnegie Mellon University.
Abstract:
"Technology advances give us the hope of driving without human error, reducing vehicle emissions and simplifying an everyday task with the futur...
» read more