摘要：实时的分布式可达性方法在安全验证中的应用：以多智能体系统为对象的安全性批准。
作者：Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, and Taylor T. Johnson
论文ID：1909.09087
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2019-09-20
PDF 下载： 英文版 中文版pdf翻译中