11:48
官方账号arXiv cs.AI@Pavel Surynek
推荐理由：一篇论文展示了如何让没有任务的智能体给有任务的智能体让路，用上了SMT-CBS和NRF-SAT求解器，思路很清晰。
未分配智能体
共 1 条相关 AI 资讯
6月16日
11:48
本文研究多智能体路径规划（MAPF）的一个变种——未分配智能体MAPF（UA-MAPF），其中部分智能体有起点和终点，而另一些智能体只有起点无终点，须为前者让路。作者将UA-MAPF表达为布尔可满足性问题，改编了两种编译式求解器SMT-CBS和NRF-SAT。实验在标准MAPF基准上验证了该方法的有效性。