@misc{indiciae9ee72da97230,
  title = {Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks},
  author = {Luyao Niu and Bhaskar Ramasubramanian and Andrew Clark and Linda Bushnell and Radha Poovendran},
  year = {2020},
  doi = {10.1109/iccps48487.2020.00023},
  url = {https://arxiv.org/abs/2001.09978},
  note = {Source identifier: 2001.09978}
}