VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems Submitted by Anonymous on Tue, 01/10/2023 - 15:19 1545126 1544714 1544924 2022 CPS PI Meeting 2022