Apr 2026· SEAMS@ICSE· pp. 117-128· 0 citations· 41 references
Computer Science
TL;DR
Verify, Augment, and Improve (VAI), a framework that extends a standard MAPE–K architecture with an asynchronous self-improving loop that intercepts ineffective adaptation actions and turns explanations from a descriptive aid into a mechanism for continual improvement of the self-adaptation process.
Abstract
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 underrepresented regions of the operational space, leading to ineffective or unsafe adaptations. We present Verify, Augment, and Improve (VAI), a framework that extends a standard MAPE–K architecture with an asynchronous self-improving loop. VAI intercepts ineffective adaptation actions and turns explanations from a descriptive aid into a mechanism for continual improvement of the self-adaptation process. Specifically, each ineffective adaptation is verified against a ground truth (e.g., a high-fidelity simulator); when a drift between surrogate and ground truth is detected, VAI explains the failure, augments the training data near the drift, and retrains the surrogate. We instantiate VAI on a human–machine teaming benchmark and two study subjects adopting alternative ground truths. Experimental results show that VAI consistently reduces the relative error of adaptation decisions and increases the success rate of meeting requirements, with average gains of \(6.89\%\) and \(10.88\%\) across the two selected subjects.
An unsuccessful LLM agent rollout contains more information than its final reward: the observations available to the agent, the actions it chose, and the environment's responses. Reusing this experience for learning requires identifying a decision to revise and testing a concrete alternative. We introduce the Agent Err...
Kun-Lun Zhu, Xu-Yan Ye, Yi-Bo Li et al.· 1 citation
LLM agents are increasingly used for security tasks: vulnerability discovery, exploit reproduction, and patch generation. Improving them at the model level demands expert demonstrations or computable rewards, which security tasks rarely offer: traces are costly, failures hard to diagnose, rewards sparse, and non-comput...
Saad Ullah, Yiğitcan Kaya, Christopher Kruegel et al.· 0 citations
MAGMA-GEN is an on-policy data-generation pipeline that converts ambiguous failed rollouts into validated recovery supervision and improves task success and recovery capabilities, against distillation and trajectory-repair baselines under evolving task constraints in both simulation and real-robot execution.
Loan Bernat, Matthieu Grard, Ariane Herbulot et al.· 3 citations
This paper investigates whether model's internal representations provide stronger signals of eventual task success in multi-turn agentic setups, and introduces two complementary methods: Latent Trajectory Dynamics (LTD) and the Action Representation Probe (ARP), which predicts success from representations formed at act...
Priyanka Mary Mammen, Emil Joswin, Srujananjali Medicherla· 1 citation
This work proposes SafePO, a reinforcement learning algorithm for refining violation identification while balancing explanatory reasoning and final verdicts, and develops AdaGuard, a family of 0.6B, 4B, and 8B guard models that assess agent trajectories under policies supplied at inference time.
Yun-Hao Feng, Yi-Fan Ding, Yu-Xiang Xie et al.· 0 citations
DCAware is proposed, a computationally efficient, non-iterative framework that prioritizes high signal-to-noise contextual grounding over multi-round repair and improving contextual quality is more effective than adding iterative repair complexity in the studied regression-oracle setting.
Ke-Fan Li, Hong Yu, Yuan Yuan· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.