Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. - Yoo Jin Lim; Eunkyoung Jee; Donghwan Shin 001; Doo-Hwan Bae (COMPSAC, 2015)

A runtime verification framework for dynamically adaptive multi-agent systems. - Yoo Jin Lim; Gwangui Hong; Donghwan Shin 001; Eunkyoung Jee; Doo-Hwan Bae (BigComp, 2016)