TY  - RPRT
TI  - REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency
AU  - Luan Viet Nguyen
AU  - Gautam Mohan
AU  - James Weimer
AU  - Oleg Sokolsky
AU  - Insup Lee
AU  - Rajeev Alur
PY  - 2019
UR  - https://arxiv.org/abs/1902.04064
ID  - 1902.04064
ER  -