TY  - RPRT
TI  - Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates
AU  - Bhaskar Ramasubramanian
AU  - Luyao Niu
AU  - Andrew Clark
AU  - Linda Bushnell
AU  - Radha Poovendran
PY  - 2019
UR  - https://arxiv.org/abs/1910.12282
ID  - 1910.12282
ER  -