Continuous Multi-agent Path Finding via Satisfiability Modulo Theories (SMT).
Pavel SurynekPublished in: ICAART (Revised Selected Papers) (2020)
Keyphrases
- path finding
- modulo theories
- multi agent
- satisfiability modulo theories
- answer set programming
- path planning
- heuristic search
- search algorithm
- stable model semantics
- robocup rescue
- hill climbing
- rule learning
- search space
- reinforcement learning
- objective function
- computational complexity
- np complete
- association rules
- tree search