Security Controller Synthesis for ROS-based Robot. - Xudong Zhao 006; Shaoxian Shu; Yutian Lan; Haining Feng; Wei Dong 006 (QRS Companion, 2020)