Utility-based Decision-making in Distributed Systems Modelling
Utility-based Decision-making in Distributed Systems Modelling
复制标题
分布式系统建模中基于效用的决策
DOI：
10.48550/arxiv.1310.6405
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Anderson Gabrielle
中科院分区：
文献类型：
--
作者：
Anderson Gabrielle
登录
查看更多内容
马尔可夫链的时态逻辑
DOI：
--
发表时间：
2008
期刊：
Adaptive Agents and Multi-Agent Systems
影响因子：
--
作者：
W. Jamroga
通讯作者：
W. Jamroga
随时随地
DOI：
10.1038/sj.vital.vital042
发表时间：
2003
期刊：
Vital
影响因子：
--
作者：
Luca Cardelli;Giorgio Ghelli
通讯作者：
Giorgio Ghelli
影响因子：
0.5
作者：
Galmiche, D;Méry, D;Pym, D
通讯作者：
Pym, D
通过阶段语义判断布尔 BI 的不可判定性
DOI：
10.1109/lics.2010.18
发表时间：
2010
期刊：
2010 25th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Dominique Larchey;D. Galmiche
通讯作者：
D. Galmiche
影响因子：
1
作者：
Joyal, A;Nielsen, M;Winskel, G
通讯作者：
Winskel, G