MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty.

Increasingly, safety-critical systems include artificial intelligence and machine learning components (i.e., learning-enabled components (LECs)).