TY  - RPRT
TI  - Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks
AU  - Luyao Niu
AU  - Bhaskar Ramasubramanian
AU  - Andrew Clark
AU  - Linda Bushnell
AU  - Radha Poovendran
PY  - 2020
DO  - 10.1109/iccps48487.2020.00023
UR  - https://arxiv.org/abs/2001.09978
ID  - 2001.09978
ER  -