Neural Control and Certificate Repair via Runtime Monitoring

Yu et al. "Neural Control and Certificate Repair via Runtime Monitoring." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I25.34840

[Yu et al. "Neural Control and Certificate Repair via Runtime Monitoring." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/yu2025aaai-neural/) doi:10.1609/AAAI.V39I25.34840

@inproceedings{yu2025aaai-neural,
  title     = {{Neural Control and Certificate Repair via Runtime Monitoring}},
  author    = {Yu, Emily and Zikelic, Dorde and Henzinger, Thomas A.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {26409-26417},
  doi       = {10.1609/AAAI.V39I25.34840},
  url       = {https://mlanthology.org/aaai/2025/yu2025aaai-neural/}
}