@misc{indiciae01b729bca78a,
  title = {Online Verification of Deep Neural Networks under Domain Shift or Network Updates},
  author = {Tianhao Wei and Changliu Liu},
  year = {2023},
  url = {https://arxiv.org/abs/2106.12732},
  note = {Source identifier: 2106.12732}
}