摘要：验证的组织感知代理在AORTA中的形式化验证
作者：Andreas Schmidt Jensen
论文ID：1503.05317
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2015-03-19
PDF 下载： 英文版 中文版pdf翻译中