MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems.

Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng

Browse the full MODELS paper archive.