TY  - RPRT
TI  - Optimal Secure Control with Linear Temporal Logic Constraints
AU  - Luyao Niu
AU  - Andrew Clark
PY  - 2019
DO  - 10.1109/tac.2019.2930039
UR  - https://arxiv.org/abs/1907.07556
ID  - 1907.07556
ER  -