@misc{indiciae6d4c11b973c9,
  title = {Robust Inference and Verification of Temporal Logic Classifier-in-the-loop Systems},
  author = {Zhe Xu},
  year = {2020},
  url = {https://arxiv.org/abs/2004.02041},
  note = {Source identifier: 2004.02041}
}