@misc{indiciae008b57e8b6a3,
  title = {Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems},
  author = {Meiyi Ma and John Stankovic and Ezio Bartocci and Lu Feng},
  year = {2021},
  doi = {10.1109/iccps48487.2020.00013},
  url = {https://arxiv.org/abs/2011.00384},
  note = {Source identifier: 2011.00384}
}