conftrace_

parallel planning

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

plan encoding (1) workspace partitioning (1) dynamic logic (1) real-time replanning (1) pspace completeness (1) multi-agent path finding (1) smt solving (1) model checking (1) distributed algorithm (1) action selection (1)

Papers

Shard Systems: Scalable, Robust and Persistent Multi-Agent Path Finding with Performance Guarantees AAAI 2022 Dynamic logic of parallel propositional assignments and its applications to planning IJCAI 2019 Relaxed Exists-Step Plans in Planning as SMT IJCAI 2017