@inproceedings{xia2025runtime,
  title     = {Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning},
  author    = {Xia, Yuan and Sur, Deepayan and Pingle, Aabha Shailesh and Deshmukh, Jyotirmoy V. and Raghothaman, Mukund and Ravi, Srivatsan},
  booktitle = {Proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2025)},
  year      = {2025}
}