#MAPF

MIT团队提出MAGIC框架，能利用空间相关性预测未观测区域的障碍物，减少大规模多智能体团队的路径重规划成本。

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