Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic.

Tomás Kolárik Stefan Ratschan Pavel Surynek

Published in: CoRR (2023)

Keyphrases

path finding
multi agent
search algorithm
path planning
heuristic search
theoretical analysis
hill climbing
logic programming
phase transition
satisfiability problem
optimal path