@misc{indiciae4b951cbdf1e8,
  title = {REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency},
  author = {Luan Viet Nguyen and Gautam Mohan and James Weimer and Oleg Sokolsky and Insup Lee and Rajeev Alur},
  year = {2019},
  url = {https://arxiv.org/abs/1902.04064},
  note = {Source identifier: 1902.04064}
}