TY  - RPRT
TI  - Secure Control in Partially Observable Environments to Satisfy LTL Specifications
AU  - Bhaskar Ramasubramanian
AU  - Luyao Niu
AU  - Andrew Clark
AU  - Linda Bushnell
AU  - Radha Poovendran
PY  - 2020
UR  - https://arxiv.org/abs/2007.12501
ID  - 2007.12501
ER  -