@inproceedings{HuangWangHOTSOS16,
author = {Huang, Zhenqi and Wang, Yu and Mitra, Sayan and Dullerud, Geir},
title = {Controller synthesis for linear dynamical systems with adversaries},
year = {2016},
isbn = {9781450342773},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2898375.2898378},
doi = {10.1145/2898375.2898378},
booktitle = {Proceedings of the Symposium and Bootcamp on the Science of Security},
pages = {53–62},
numpages = {10},
keywords = {constraint-based synthesis, controller synthesis, cyber-physical security},
location = {Pittsburgh, Pennsylvania},
series = {HotSos '16}
}