Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran. Secure Control in Partially Observable Environments to Satisfy LTL Specifications. IEEE Trans. Automat. Contr., 66(12):5665-5679, 2021. [doi]
@article{Ramasubramanian21-1,
title = {Secure Control in Partially Observable Environments to Satisfy LTL Specifications},
author = {Bhaskar Ramasubramanian and Luyao Niu and Andrew Clark and Linda Bushnell and Radha Poovendran},
year = {2021},
doi = {10.1109/TAC.2020.3039484},
url = {https://doi.org/10.1109/TAC.2020.3039484},
researchr = {https://researchr.org/publication/Ramasubramanian21-1},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Automat. Contr.},
volume = {66},
number = {12},
pages = {5665-5679},
}