Niu, Luyao, Ramasubramanian, Bhaskar, Clark, Andrew, Bushnell, Linda, and Poovendran, Radha. Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*. Retrieved from https://par.nsf.gov/biblio/10206316. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) . Web. doi:10.1109/ICCPS48487.2020.00023.

Niu, Luyao, Ramasubramanian, Bhaskar, Clark, Andrew, Bushnell, Linda, & Poovendran, Radha. Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), (). Retrieved from https://par.nsf.gov/biblio/10206316. https://doi.org/10.1109/ICCPS48487.2020.00023

Niu, Luyao, Ramasubramanian, Bhaskar, Clark, Andrew, Bushnell, Linda, and Poovendran, Radha. "Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*". ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) (). Country unknown/Code not available. https://doi.org/10.1109/ICCPS48487.2020.00023. https://par.nsf.gov/biblio/10206316.

@article{osti_10206316,
place = {Country unknown/Code not available}, title = {Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*}, url = {https://par.nsf.gov/biblio/10206316}, DOI = {10.1109/ICCPS48487.2020.00023}, abstractNote = {}, journal = {ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)}, author = {Niu, Luyao and Ramasubramanian, Bhaskar and Clark, Andrew and Bushnell, Linda and Poovendran, Radha}, editor = {null} }