Non-Refined Abstractions in Counterexample Guided Abstraction Refinement for Multi-Agent Path Finding (Extended Abstract).
Pavel SurynekPublished in: SOCS (2024)
Keyphrases
- extended abstract
- path finding
- multi agent
- state abstraction
- single agent
- refinement process
- admissible heuristics
- heuristic search
- high level
- path planning
- search algorithm
- temporal abstractions
- reinforcement learning
- virtual endoscopy
- robocup rescue
- rule learning
- model checking
- optimal path
- concept learning
- planning problems
- neural network
- search strategy
- rough sets
- domain knowledge
- search space