Livia Lestingi

Verify, Augment, Improve: Self-Adaptation Repair via Automated Knowledge Augmentation from Mistakes

Cyber–Physical Systems (CPSs) operate under uncertainty and cannot always guarantee the satisfaction of dependability requirements. Proactive self-adaptation mitigates violations by planning corrective actions, often leveraging predictive models. These models can be inaccurate in...