A Algorithmic details A.1 Problem formulation for model repairment