@misc{indiciae9f0618d72de9,
  title = {Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates},
  author = {Bhaskar Ramasubramanian and Luyao Niu and Andrew Clark and Linda Bushnell and Radha Poovendran},
  year = {2019},
  url = {https://arxiv.org/abs/1910.12282},
  note = {Source identifier: 1910.12282}
}