Sparse Decision Diagrams for SAT-based Compilation of Multi-Agent Path Finding (Extended Abstract).
Pavel SurynekPublished in: SOCS (2022)
Keyphrases
- extended abstract
- path finding
- decision diagrams
- multi agent
- planning problems
- heuristic search
- search algorithm
- path planning
- ai planning
- multi valued
- efficient computation
- digital circuits
- markov decision processes
- hill climbing
- reinforcement learning
- high dimensional
- optimal path
- state space
- binary decision diagrams
- knowledge compilation
- search space
- rule learning
- constraint satisfaction
- constraint satisfaction problems
- mobile robot