@misc{indiciae8d19f9e36dca,
  title = {Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties},
  author = {Zhe Xu and Yi Deng and Agung Julius},
  year = {2020},
  url = {https://arxiv.org/abs/2004.02018},
  note = {Source identifier: 2004.02018}
}