Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop Download Tags: provably safe Humans in the loop University of California at Berkeley University of California San Diego North Carolina State University Hyundai Motor Company Ford Motor Company Volvo Cars CPS Domains Transportation Automotive CPS Technologies Wireless Sensing and Actuation Foundations Control Modeling Real-Time Coordination Simulation Validation and Verification Testing 2014 National CPS PI Meeting 2014 Presentation Academia Session 8 License: CC-2.5 Submitted by Edgar Lobaton on Fri, 11/07/2014 - 12:50