Encapsulated path planning for abstraction-based control of multi-vehicle systems.