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