Runtime verification of self-adaptive multi-agent system using probabilistic timed automata. - Yongan Mu; Wei Liu; Tao Lu; Juan Li; Sheng Gao; Zihao Wang (J. Intell. Fuzzy Syst., 2023)