Verification and Realizability in Finite-Horizon Multiagent Systems
Verification and Realizability in Finite-Horizon Multiagent Systems
复制标题
有限视野多智能体系统的验证和可实现性
DOI:
10.24963/kr.2022/28
复制
发表时间:
2022
期刊:
影响因子:
--
通讯作者:
Vardi, Moshe Y.
中科院分区:
文献类型:
--
作者:
Rajasekaran, Senthil;Vardi, Moshe Y.
登录
查看更多内容
DOI:
10.2168/lmcs-11(2:9)2015
发表时间:
2015
期刊:
Log. Methods Comput. Sci.
影响因子:
--
作者:
P. Bouyer;Romain Brenguier;N. Markey;M. Ummels
通讯作者:
M. Ummels
DOI:
10.1007/s10472-016-9508-8
发表时间:
2016-09-01
影响因子:
1.2
作者:
Kupferman, Orna;Perelli, Giuseppe;Vardi, Moshe Y.
通讯作者:
Vardi, Moshe Y.
DOI:
--
发表时间:
2015
期刊:
影响因子:
--
作者:
Julian Gutierrez;Paul Harrenstein;M. Wooldridge
通讯作者:
M. Wooldridge
DOI:
--
发表时间:
--
期刊:
影响因子:
--
作者:
Jack Wallen;V. Rao
通讯作者:
V. Rao
DOI:
--
发表时间:
2021
期刊:
Adaptive Agents and Multi-Agent Systems
影响因子:
--
作者:
S. Rajasekaran;Moshe Y. Vardi
通讯作者:
Moshe Y. Vardi