3 citations · 5 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021
A Meta Reinforcement Learning-based Approach for Self-Adaptive System
Mingyue Zhang, Jialong Li, Haiyan Zhao +3
A self-learning adaptive system (SLAS) uses machine learning to enable and enhance its adaptability. Such systems are expected to perform well in dynamic situations. For learning h…
cs.SE2012★ 3 cited
Towards Refinement Strategy Planning for Event-B
Tsutomu Kobayashi, Shinichi Honiden
Event-B is a formal approach oriented to system modeling and analysis. It supports refinement mechanism that enables stepwise modeling and verification of a system. By using refine…