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

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

The Implementation Of Cooperative Collision Avoidance For Connected Vehicles (Ohio State University)

A technical paper titled “Cooperative Collision Avoidance in a Connected Vehicle Environment” was published by researchers at Ohio State University. Abstract: "Connected vehicle (CV) technology is among the most heavily researched areas in both the academia and industry. The vehicle to vehicle (V2V), vehicle to infrastructure (V2I) and vehicle to pedestrian (V2P) communication capabilitie... » read more