VeHICaL- Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems Download pdf Tags: Short Talk 1544714 Transportation and Vehicles 2 CPS PI Meeting 2021 NSF Presentation License: CC-2.5 Submitted by Sanjit Seshia on Fri, 06/18/2021 - 10:38