Assurance-based Learning-enabled Cyber-Physical Systems (ALC)

Autonomous vehicles (cars, drones, underwater vehicles, etc.) have started using software components that are built using machine learning techniques. This is due to the fact that these vehicles must operate in highly uncertain environments and that we cannot design a correct algorithm for all possible situations.