1
Runtime verification of heterogeneous multi-agent self-adaptive based on probabilistic timed automata
基于概率时间自动机的异构多agent自适应运行时验证
No. 12, 2023 : 3728-3735
doi:10.19734/j.issn.1001-3695.2023.04.0158