TY  - RPRT
TI  - Secure Control under Partial Observability with Temporal Logic Constraints
AU  - Bhaskar Ramasubramanian
AU  - Andrew Clark
AU  - Linda Bushnell
AU  - Radha Poovendran
PY  - 2019
UR  - https://arxiv.org/abs/1903.06873
ID  - 1903.06873
ER  -