Security Controller Synthesis for ROS-based Robot.

Xudong Zhao, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong

Browse the full QRS paper archive.