arXiv:2504.06091v1 类型: cross 摘要：大多数具有完备性保证的多智能体路径规划（MAPF）方法要求规划全程路径。然而，在实际应用中，规划全程路径可能需要花费太长的时间，且不切实际。相反，实时规划和执行方案更为实际，这种方案仅为执行和重新规划留出有限的时间。已有多种方法采用实时规划方案，但没有哪一种是可证明完备的，这会导致活锁或死锁。我们的主要贡献是展示第一个具有可证明完备性保证的实时MAPF方法。我们通过增量使用LaCAM（Okumura 2023）来实现这一点。我们的结果显示，即使在毫秒级别的截止时间下，我们也可以逐步规划拥挤环境的路径，同时仍然保持与全程LaCAM相同的成功率。我们还展示了该方法如何与单步学习得到的MAPF策略结合使用。所提出的实时LaCAM还为我们提供了在未来实时MAPF算法中使用迭代约束以实现完备性的通用机制。