Security Controller Synthesis for ROS-based Robot | IEEE Conference Publication | IEEE Xplore