.png){kind=icon}
返回
Reachability in Multi-agent Transfer Systems
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-15700-3_2.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文介绍了具有能量约束的协作可达性博弈。在所考虑的博弈区域中，智能体可以在移动过程中消耗或获得能量，或者在其当前位置允许的情况下与同伴共享能量。我们研究了能量可达性博弈的几种变体，其中智能体可以同步或异步移动，并且存在或不存在对同伴间能量转移的约束。我们证明了这些问题具有不同的复杂性，范围从NP到EXPSPACE。
Keyword:
Multi-Agent Systems
Quantitative verification
VASS
Collaborativegames
Planning
期刊
V
机构
引用论文
.png){kind=icon}
分享收藏
分享收藏
查看更多内容