MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems
Published in 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2021
The contents above will be part of a list of publications, if the user clicks the link for the publication than the contents of section will be rendered as a full page, allowing you to provide more information about the paper for the reader. When publications are displayed as a single page, the contents of the above “citation” field will automatically be included below this section in a smaller font.
Recommended citation: M. A. Langford, K. H. Chan, J. E. Fleck, P. K. McKinley and B. H. C. Cheng, "MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems," 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), Fukuoka, Japan, 2021, pp. 182-193, doi: 10.1109/MODELS50736.2021.00027. https://ieeexplore.ieee.org/document/9592499