Introduction VeHICaL, or Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems. It is an interdisciplinary project involving UC Berkeley…