Department of Computer Science University of Liverpool Liverpool L69 7ZF United Kingdom;
机译:基于场景的代理验证和设计的计算复杂性
机译:逻辑程序控制的代理系统:验证的复杂性
机译:非确定性概率多智能体系统验证的复杂性
机译:代理验证的计算复杂性
机译:使用认知主体规范语言(CASL)指定和验证多主体系统。
机译:座谈会论文自适应代理情报和新兴人类组织:通过基于代理的建模来捕获复杂性:对民事暴力进行建模:基于代理的计算方法
机译:基于场景的代理验证和设计的计算复杂性