VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems Download pdf Tags: 1544714 1544924 1545126 University of California Berkeley University of North Carolina at Chapel Hill CalTech Presentation Session 6: CPS Frontiers Projects Panel License: CC-2.5 Submitted by Sanjit Seshia on Wed, 11/15/2017 - 00:55