AC-ROS: assurance case driven adaptation for the robot operating system. - Betty H. C. Cheng; Robert Jared Clark; Jonathon Emil Fleck; Michael Austin Langford; Philip K. McKinley (MoDELS, 2020)

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 (MoDELS, 2021)

MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty. - Michael Austin Langford; Kenneth H. Chan; Jonathon Emil Fleck; Philip K. McKinley; Betty H. C. Cheng (Softw. Syst. Model., 2023)