Tao Lü

Runtime verification of self-adaptive multi-agent system using probabilistic timed automata

2023 · Journal of Intelligent & Fuzzy Systems

The self-adaptive multi-agent system requires adaptive adjustments based on the dynamic environment during its runtime. Heterogeneous agent can accomplish different task goals, enhance the efficiency of system operation, but its complex collaboration problem poses new …