Siyuan Liu, Ashutosh Trivedi 0001, Xiang Yin 0003, Majid Zamani. Secure-by-construction synthesis of cyber-physical systems. Annual Reviews in Control, 53:30-50, 2022. [doi]
@article{LiuTYZ22,
title = {Secure-by-construction synthesis of cyber-physical systems},
author = {Siyuan Liu and Ashutosh Trivedi 0001 and Xiang Yin 0003 and Majid Zamani},
year = {2022},
doi = {10.1016/j.arcontrol.2022.03.004},
url = {https://doi.org/10.1016/j.arcontrol.2022.03.004},
researchr = {https://researchr.org/publication/LiuTYZ22},
cites = {0},
citedby = {0},
journal = {Annual Reviews in Control},
volume = {53},
pages = {30-50},
}