#SMT-CBS

共 1 条 · 7 天 0 条 · 30 天 0 条

信息流里打上「SMT-CBS」标签的资讯、产品与论文，按刊登时间排，新的在上。

6月16日

编译式多智能体路径规划中的未分配智能体问题

一篇论文展示了如何让没有任务的智能体给有任务的智能体让路，用上了SMT-CBS和NRF-SAT求解器，思路很清晰。

#SMT-CBS #NRF-SAT #MAPF #多智能体路径规划

arXiv cs.AI@Pavel Surynek原文