REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.

Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur

Browse the full MEMOCODE paper archive.