1
基于马尔可夫模型的多agent自适应在线验证
Multi-agent adaptive run-time verification based on Markov model
2021年第5期 : 1477-1481
doi:10.19734/j.issn.1001-3695.2020.05.0198