Pursuit of the Universal
Pursuit of the Universal
复制标题
追求普遍性
DOI：
10.1007/978-3-319-40189-8_1
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Alechina N
中科院分区：
文献类型：
--
作者：
Alechina N
多智能体系统的验证方法通常基于根据状态和动作定义的游戏或转换系统。然而，这样的方法往往忽略了多代理系统的一个关键方面，即代理的行动需要（有时会产生）资源。我们简要回顾了以前的工作，考虑到资源的多智能体系统的验证，并概述了未来工作的一些关键挑战。
Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions require (and sometimes produce) resources. We briefly survey previous work on the verification of multi-agent systems that takes resources into account, and outline some key challenges for future work.
登录
查看更多内容
准周期平铺的局部规则
DOI：
--
发表时间：
1997
期刊：
影响因子：
--
作者：
Thang T. Q. Lê
通讯作者：
Thang T. Q. Lê
1D 中的有效闭合子移可以在 2D 中实现
DOI：
--
发表时间：
2010
期刊：
Fields of Logic and Computation
影响因子：
--
作者：
B. Durand;Andrei E. Romashchenko;A. Shen
通讯作者：
A. Shen
有效的符号动力学、随机点、统计行为、复杂性和熵
影响因子：
1
作者：
S. Galatolo;M. Hoyrup;Cristobal Rojas
通讯作者：
Cristobal Rojas
当周期性强制非周期性时
影响因子：
2.4
作者：
Nicolas Bédaride;Thomas Fernique
通讯作者：
Thomas Fernique
p 组在特征 p, II 处的忠实表示
DOI：
--
发表时间：
1970
期刊：
影响因子：
--
作者：
G. Janusz
通讯作者：
G. Janusz