The ALC Design Studio enables an engineer to design Cyber-Physical Systems (CPS’s) with integrated learning-enabled components (LECs), e.g. deep neural networks, that are executed in a ROS environment. The studio allows for the design, training, deployment and testing of the LECs in the context of the CPS, including a simulation of its physical environment.The ALC tools support the training and deployment of assurance monitors for each LEC in the CPS. Additionally, they facilitate the formal verification of the CPS with the deployed LECs against requirements expressing desired correctness and robustness properties.