@misc{indiciae447e9ec13dd9,
  title = {Neural Control and Certificate Repair via Runtime Monitoring},
  author = {Emily Yu and Đorđe Žikelić and Thomas A. Henzinger},
  year = {2024},
  url = {https://arxiv.org/abs/2412.12996},
  note = {Source identifier: 2412.12996}
}