Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT).
Pavel SurynekPublished in: CoRR (2019)
Keyphrases
- modulo theories
- path finding
- multi agent
- satisfiability modulo theories
- answer set programming
- path planning
- heuristic search
- search algorithm
- stable model semantics
- optimal path
- hill climbing
- robocup rescue
- state space
- logic programming
- answer sets
- rule learning
- reinforcement learning
- complexity analysis
- tree search