@misc{indiciae32e4d702f08c,
  title = {Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks},
  author = {Luyao Niu and Zhouchi Li and Andrew Clark},
  year = {2022},
  url = {https://arxiv.org/abs/2208.10060},
  note = {Source identifier: 2208.10060}
}