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

Browse the full MODELS paper archive.