The goal of the Assured Autonomy program is to develop rigorous design and analysis technologies to guarantee safety of autonomous machines that are able to learn on their own, based on experience.