Hackernews posts about Autopilot

Autopilot is an advanced driver-assistance system developed by Tesla that enables semi-autonomous driving capabilities, designed to assist drivers but not replace human judgment and control.

Related: Tesla   Elon Musk   MIT   FSD   DMV   Teslas  
  1. Dafny Autopilot (github.com)