Counterexample Guided Abstraction Refinement with Non-Refined Abstractions for Multi-Agent Path Finding.
Pavel SurynekPublished in: CoRR (2023)
Keyphrases
- path finding
- multi agent
- state abstraction
- single agent
- refinement process
- heuristic search
- admissible heuristics
- high level
- search algorithm
- path planning
- model checking
- virtual endoscopy
- temporal abstractions
- reinforcement learning
- optimal path
- hill climbing
- search space
- rule learning
- dynamic programming
- optimal solution
- theoretical analysis
- logic programming