Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng. MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems. In 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021. pages 182-193, IEEE, 2021. [doi]
Abstract is missing.