Login / Signup
Unifying Search-Based and Compilation-Based Approaches to Multi-Agent Path Finding through Satisfiability Modulo Theories.
Pavel Surynek
Published in:
SOCS (2019)
Keyphrases
</>
path finding
multi agent
search algorithm
search strategy
path planning
search methods
reinforcement learning
search space
exhaustive search
tree search
np hard
dynamic programming
rule learning