Cooperative, Dynamics-based, and Abstraction-Guided Multi-robot Motion Planning