Non-Refined Abstractions in Counterexample Guided Abstraction Refinement for Multi-Agent Path Finding.

Published in: ICTAI (2023)

Keyphrases

path finding
multi agent
state abstraction
single agent
refinement process
heuristic search
admissible heuristics
high level
search algorithm
path planning
model checking
temporal abstractions
hill climbing
virtual endoscopy
optimal path
robocup rescue
reinforcement learning
evolutionary algorithm
genetic algorithm