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

Tomás Kolárik Stefan Ratschan Pavel Surynek

Published in: ICAART (1) (2024)

Keyphrases

path finding
multi agent
search algorithm
path planning
heuristic search
satisfiability problem
state space
phase transition
robocup rescue
machine learning
rule learning
sat solvers
domain independent
error rate
shortest path
fuzzy logic
reinforcement learning