An integrated model-based diagnosis and repair architecture for ROS-based robot systems | IEEE Conference Publication | IEEE Xplore