Xudong Zhao 0006, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong 0006. Security Controller Synthesis for ROS-based Robot. In 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020. pages 472-477, IEEE, 2020. [doi]
@inproceedings{0006SLF020,
title = {Security Controller Synthesis for ROS-based Robot},
author = {Xudong Zhao 0006 and Shaoxian Shu and Yutian Lan and Haining Feng and Wei Dong 0006},
year = {2020},
doi = {10.1109/QRS-C51114.2020.00085},
url = {https://doi.org/10.1109/QRS-C51114.2020.00085},
researchr = {https://researchr.org/publication/0006SLF020},
cites = {0},
citedby = {0},
pages = {472-477},
booktitle = {20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020},
publisher = {IEEE},
isbn = {978-1-7281-8915-4},
}